claim: All A are D

raw_output: All A are D

claim: All D are A

raw_output: All D are A

claim: A equals D

raw_output: A equals D

input_text: All A are B. All B are C. All C are D. Are all A D?

reason: candidate collapses distinct graph nodes

status: rejected

reason: candidate reverses a directed support path

reason: candidate is supported by a typed transitive inference

status: accepted

split: eval


claim: All X are D

raw_output: All X are D

input_text: All A are B. All X are Y. All B are C. All C are D. Are all A D?

reason: no typed channel produced support or a typed rejection

status: abstained


claim: All A are B

raw_output: All A are B

input_text: All A are B. Are all A D?

reason: candidate is directly present in the premise graph