The cat is cold. The cat is green. The cat is red. If the cat is rough and the cat is blue then the cat is red. Red things are green. All green, red things are cold. Blue, rough things are green. If something is cold and blue then it is rough. If something is green then it is blue.
The cat does not chase the cat.
@0: The cat is cold.[(triple1 OR ((triple2 triple3) -> rule3) OR ((((triple3) -> rule2) triple3) -> rule3))] The cat is green.[(triple2 OR ((triple3) -> rule2))] The cat is red.[(triple3 OR ((((triple1 ((triple2) -> rule6)) -> rule5) ((triple2) -> rule6)) -> rule1))] @1: The cat is blue.[(((triple2) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] @2: The cat is rough.[(((triple1 ((triple2) -> rule6)) -> rule5) OR ((((triple2 triple3) -> rule3) ((triple2) -> rule6)) -> rule5) OR ((triple1 ((((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((triple2 triple3) -> rule3) ((((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((triple3) -> rule2) triple3) -> rule3) ((triple2) -> rule6)) -> rule5) OR ((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule2)) -> rule6)) -> rule5))]