The cat is cold. The cat is kind. The cat is nice. If the cat is red then the cat is big. All nice, cold people are red. Kind, cold people are nice.
The cat is not red.
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3 OR ((triple2 triple1) -> rule3))] @1: The cat is red.[(((triple3 triple1) -> rule2) OR ((((triple2 triple1) -> rule3) triple1) -> rule2))] @2: The cat is big.[(((((triple3 triple1) -> rule2)) -> rule1) OR ((((((triple2 triple1) -> rule3) triple1) -> rule2)) -> rule1))]