| ![]() | |||||||||
interest: ~L
Of interest as defeater for support-link 4
# 7 L
Inferred by support-link #4 from { 5 } by pf-reason 5
maximal-degree-of-support: 1
undefeated-degree-of-support: 1
This inference is defeasible.
=========================================
Justified belief in L
answers #<Query #3: L> affirmatively.
=========================================
---------------------------------------------------------------------------
Retrieving #<Node 7> from the inference-queue.
---------------------------------------------------------------------------
Retrieving #<Node 2> from the inference-queue.
# 8
interest: (B @ E)
Of interest as defeater for support-link 5
Node # 6 defeats link # 5
# 9
interest: ~E
Of interest as defeater for support-link 5
# 8 E DEFEATED
Inferred by support-link #5 from { 2 } by pf-reason 3 defeaters: { 6 }
maximal-degree-of-support: 1
undefeated-degree-of-support: 0
This inference is defeasible.
---------------------------------------------------------------------------
Retrieving #<Node 1> from the inference-queue.
# 10
interest: (A @ D)
Of interest as defeater for support-link 6
# 11
interest: ~D
Of interest as defeater for support-link 6
# 9 D
Inferred by support-link #6 from { 1 } by pf-reason 1
maximal-degree-of-support: 1
undefeated-degree-of-support: 1
This inference is defeasible.
---------------------------------------------------------------------------
Retrieving #<Node 9> from the inference-queue.
# 12
interest: (D @ G)
Of interest as defeater for support-link 7
# 13
interest: ~G
Of interest as defeater for support-link 7
# 10 G
Inferred by support-link #7 from { 9 } by pf-reason 2
maximal-degree-of-support: 1
undefeated-degree-of-support: 1
This inference is defeasible.
---------------------------------------------------------------------------
Retrieving #<Node 10> from the inference-queue.
# 11 J
Inferred by support-link #8 from { 10 } by con-reason 1
maximal-degree-of-support: 1
undefeated-degree-of-support: 1
This inference is not defeasible.
=========================================
III?60
IV-60
Justified belief in J