The cat is young. Blue, green things are nice. If something is blue and green then it is nice. If something is rough then it is blue. All young things are rough. If the cat is nice and the cat is green then the cat is blue. If the cat is young and the cat is rough then the cat is green.
The cat does not chase the cat.
@0: The cat is young.[(triple1)] @1: The cat is rough.[(((triple1) -> rule4))] @2: The cat is blue.[(((((triple1) -> rule4)) -> rule3))] The cat is green.[(((triple1 ((triple1) -> rule4)) -> rule6))] @3: The cat is nice.[(((((((triple1) -> rule4)) -> rule3) ((triple1 ((triple1) -> rule4)) -> rule6)) -> rule1) OR ((((((triple1) -> rule4)) -> rule3) ((triple1 ((triple1) -> rule4)) -> rule6)) -> rule2))]