claim: All M are P

raw_output: All M are P

claim: All P are M

raw_output: All P are M

claim: M equals P

raw_output: M equals P

input_text: All M are N. All N are O. All O are P. Are all M P?

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: stress


claim: All cats are animals

raw_output: All cats are animals

claim: No cats are animals

raw_output: No cats are animals

claim: cats somehow animalish

raw_output: cats somehow animalish

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

reason: candidate contradicts a premise-supported edge

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


claim: All A are D

raw_output: All A are D

claim: All R are D

raw_output: All R are D

claim: All D are A

raw_output: All D are A

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

reason: no typed channel produced support or a typed rejection

status: abstained


claim: All A are Z

raw_output: All A are Z

claim: All Z are A

raw_output: All Z are A

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