Xây dựng đường dẫn chứng thực từ M đên A, K, L, D, N:

-M đên A:
Ds tin cậy của M: CA1, CA4, CA5, CA3
Ds tin cậy của A: CA1
Đường dẫn: [CA1 -> CA1-1] : [CA1-1 -> CA1-3] : [CA1-3 -> A]
-M đến K:
Ds tin cậy của M: CA1,CA3, CA4, CA5
Ds tin cậy của K: CA1
[CA1 -> CA1-1] : [CA1-1 -> CA1-4] : [CA1-4 -> CA1-6] ; [CA1-6 -> K]
-M đến L:
Ds tin cậy của M: CA1,CA3, CA4, CA5
Ds tin cậy của L: CA2
=> không có điểm tin cậy chung => không có đường dẫn
-M đến D:
Ds tin cậy của M: CA1,CA3, CA4, CA5
Ds tin cậy của D: CA1
[CA1 -> CA1-2] : [CA1-2 -> D]
-M đến N:
Ds tin cậy của M: CA1,CA3,CA4,CA5
Ds tin cậy của N: CA2,CA3,CA4,CA5
[CA4 -> CA3] : [CA3 -> CA5] : [CA5 -> N]
[CA4 -> CA5] : [CA5 -> N]
Xây dựng đường dẫn chứng thực từ N đên B, F, D, L,M:
-N đến B:
Ds tin cậy của N: CA2,CA3,CA4,CA5
Ds tin cậy của B: CA1, CA3,CA4,CA5
[CA5 -> CA4] : [CA4 -> B]
[CA5 -> CA3] : [CA3 -> CA4]: [CA4 -> B]
-N đến F:
Ds tin cậy của N: CA2,CA3,CA4,CA5
Ds tin cậy của F: CA1
=> không có điểm tin cậy chung => không có đường dẫn
-N đến D:
Ds tin cậy của N: CA2, CA3,CA4,CA5
Ds tin cậy của D: CA1
=> không có điểm tin cậy chung => không có đường dẫn
-N đên L:
Ds tin cậy của N: CA2, CA3,CA4,CA5
Ds tin cậy của L: CA2
[CA2 -> L]
-N đên M:
Ds tin cậy của N: CA2, CA3,CA4,CA5
Ds tin cậy của M: CA1, CA3,CA4,CA5
[CA5 -> CA3] : [CA3 -> CA4] : [CA4 -> M]
[CA5 -> CA4] : [CA4 -> M]
Xây dựng đường dẫn chứng thực từ B đên G,H, L, N,M:
-B đến G:
Ds tin cậy của B: CA1, CA3,CA4,CA5
Ds tin cậy của G: CA1
[CA2 -> BCA] : [BCA -> CA1] : [CA1 -> CA1-1] : [CA1-1 -> CA1-3] : [CA1-3 ->
A]
-C đến D:
Ds tin cậy của C: CA2, BCA
Ds tin cậy của D: CA3,CA4,CA5,CA6, BCA
[CA2 -> BCA] : [BCA -> CA3] : [CA3 -> CA4] : [CA4 -> D]
[CA2 -> BCA] : [BCA -> CA3] : [CA3 -> CA6] : [CA6 -> CA5] : [CA5 -> CA4] :
[CA4 -> D]
-C đến F:
Ds tin cậy của C: CA1, BCA
Ds tin cậy của F: CA3,CA4,CA5,CA6, BCA
[CA2 -> BCA] : [BCA -> CA3] : [CA3 -> CA4] : [CA4 -> CA5]: [CA5 -> F]
[CA2 -> BCA] : [BCA -> CA3] : [CA3 -> CA6] : [CA6 -> CA5] : [CA5 -> F]
Xây dựng đường dẫn chứng thực từ D đên E và B, C, F:
-D đến E:
Ds tin cậy của D: CA3,CA4,CA5,CA6, BCA
Ds tin cậy của E: CA1, BCA
[CA4 -> CA3] : [CA3 -> BCA] : [BCA -> CA1] : [CA1 -> CA1-1] : [CA1-1 -> CA1-
4] : [CA1-4 -> E]
[CA4 -> CA5] : [CA5 -> CA6] : [CA6 -> CA3] : [CA3 -> BCA] : [BCA -> CA1] :
[CA1 -> CA1-1] : [CA1-1 -> CA1-4] : [CA1-4 -> E]
-D đến B:
Ds tin cậy của D: CA3,CA4,CA5,CA6, BCA
Ds tin cậy của B: CA1, BCA
[CA4 -> CA3] : [CA3 -> BCA] : [BCA -> CA1] : [CA1 -> CA1-2] : [CA1-2 -> B]
[CA4 -> CA5] : [CA5 -> CA6] : [CA6 -> CA3] : [CA3 -> BCA] : [BCA -> CA1] :
[CA1 -> CA1-2] : [CA1-2 -> B]
-D đến C:
Ds tin cậy của D: CA3,CA4,CA5,CA6, BCA
Ds tin cậy của C: CA2, BCA
[CA4 -> CA3] : [CA3 -> BCA] : [BCA -> CA2] : [CA2 -> C]
[CA4 -> CA5] : [CA5 -> CA6] : [CA6 -> CA3] : [CA3 -> BCA] : [BCA -> CA2] :
[CA2 -> C]
-D đến F:
Ds tin cậy của D: CA3,CA4,CA5,CA6,
Ds tin cậy của F: CA2,
[CA4 -> CA3] : [CA3 -> CA6] : [CA6 -> CA5] ; [CA5 -> F]
[CA4 -> CA5] : [CA5 -> CAF]