The cat chases the squirrel. The mouse eats the tiger. The squirrel eats the tiger. The tiger is red. If something chases the squirrel then the squirrel chases the tiger. If something is green and it sees the squirrel then it is nice. If something chases the squirrel and the squirrel chases the tiger then the tiger sees the squirrel. If something eats the squirrel and the squirrel chases the tiger then it eats the tiger. If something sees the cat then it is nice. If the cat sees the tiger and the cat sees the mouse then the mouse chases the squirrel.
The cat eats the cat.
@0: The cat chases the squirrel.[(triple1)] The mouse eats the tiger.[(triple2)] The squirrel eats the tiger.[(triple3)] The tiger is red.[(triple4)] @1: The squirrel chases the tiger.[(((triple1) -> rule1))] @2: The tiger sees the squirrel.[(((triple1 ((triple1) -> rule1)) -> rule3))]