The cat is big. The cat is red. The cat is rough. Rough, nice people are cold. If someone is red and cold then they are big. Nice people are big. If someone is red then they are nice. All rough people are cold. All rough people are red.
The cat does not eat the cat.
@0: The cat is big.[(triple1 OR ((((triple2) -> rule4)) -> rule3) OR ((triple2 ((triple3) -> rule5)) -> rule2) OR ((((triple3) -> rule6) ((triple3) -> rule5)) -> rule2) OR ((((((triple3) -> rule6)) -> rule4)) -> rule3) OR ((triple2 ((triple3 ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((((triple3) -> rule6) ((triple3 ((triple2) -> rule4)) -> rule1)) -> rule2) OR ((triple2 ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule1)) -> rule2) OR ((((triple3) -> rule6) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule1)) -> rule2))] The cat is red.[(triple2 OR ((triple3) -> rule6))] The cat is rough.[(triple3)] @1: The cat is cold.[(((triple3) -> rule5) OR ((triple3 ((triple2) -> rule4)) -> rule1) OR ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule1))] The cat is nice.[(((triple2) -> rule4) OR ((((triple3) -> rule6)) -> rule4))]