claim: All A are C

raw_output: All A are C

claim: All C are A

raw_output: All C are A

claim: A equals C

raw_output: A equals C

claim: All A are D

raw_output: All A are D

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

reason: candidate collapses distinct graph nodes

status: rejected

reason: candidate reverses a directed support path

reason: no typed channel produced support or a typed rejection

status: abstained

reason: candidate is supported by a typed transitive inference

status: accepted

split: train


claim: All pilots are careful

raw_output: All pilots are careful

claim: Some pilots are careful

raw_output: Some pilots are careful

input_text: Some pilots are engineers. All engineers are careful. Are all pilots careful?

reason: candidate upgrades existential support into a universal claim


claim: All A are B

raw_output: All A are B

claim: No A are B

raw_output: No A are B

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

reason: candidate contradicts a premise-supported edge

reason: candidate is directly present in the premise graph


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?


candidate_id: malformed

claim: A therefore C probably

raw_output: A therefore C probably

reason: candidate claim could not be parsed as a graph relation


claim: All cats are animals

raw_output: All cats are animals

claim: No cats are animals

raw_output: No cats are animals

input_text: All cats are mammals. All mammals are animals. Are all cats animals?


claim: All X are C

raw_output: All X are C

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