The cat is blue. The cat is nice. The cat is rough. Green, rough things are nice. If something is rough then it is green. If the cat is rough and the cat is blue then the cat is big. If something is green then it is blue. If something is nice and green then it is big. Big things are nice.
The cat is rough.
@0: The cat is blue.[(triple1 OR ((((triple3) -> rule2)) -> rule4))] The cat is nice.[(triple2 OR ((((triple3 triple1) -> rule3)) -> rule6) OR ((((triple3) -> rule2) triple3) -> rule1) OR ((((triple3 ((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule6))] The cat is rough.[(triple3)] @1: The cat is big.[(((triple3 triple1) -> rule3) OR ((triple2 ((triple3) -> rule2)) -> rule5) OR ((triple3 ((((triple3) -> rule2)) -> rule4)) -> rule3) OR ((((((triple3) -> rule2) triple3) -> rule1) ((triple3) -> rule2)) -> rule5))] The cat is green.[(((triple3) -> rule2))]