The cat is young. All green things are rough. Red things are green. If the cat is big then the cat is red. Rough, green things are red. If something is green then it is red. If the cat is young then the cat is big.
The cat eats the cat.
@0: The cat is young.[(triple1)] @1: The cat is big.[(((triple1) -> rule6))] @2: The cat is red.[(((((triple1) -> rule6)) -> rule3))] @3: The cat is green.[(((((((triple1) -> rule6)) -> rule3)) -> rule2))] @4: The cat is rough.[(((((((((triple1) -> rule6)) -> rule3)) -> rule2)) -> rule1))]