The bear eats the cat. The cat is blue. If something eats the cat and the cat is red then the cat is big. If the cat needs the bear then the cat is rough. If something eats the bear then it needs the bear. If something is red and nice then it chases the bear. If something is blue then it eats the bear. If something needs the cat and the cat is rough then it eats the cat.
The cat is rough.
@0: The bear eats the cat.[(triple1)] The cat is blue.[(triple2)] @1: The cat eats the bear.[(((triple2) -> rule5))] @2: The cat needs the bear.[(((((triple2) -> rule5)) -> rule3))] @3: The cat is rough.[(((((((triple2) -> rule5)) -> rule3)) -> rule2))]