The rabbit eats the tiger. The squirrel is red. The tiger chases the squirrel. If the squirrel eats the rabbit then the rabbit likes the tiger. If something is red then it eats the rabbit. If something is cold and blue then it likes the tiger. If something likes the tiger then the tiger chases the rabbit. If something is red and blue then it chases the rabbit. If the squirrel is red and the tiger does not eat the squirrel then the squirrel does not like the rabbit. If something chases the rabbit then the rabbit chases the squirrel. If the tiger does not chase the rabbit and the tiger does not like the squirrel then the tiger does not chase the squirrel.
The squirrel chases the tiger.
@0: The rabbit eats the tiger.[(triple1)] The squirrel is red.[(triple2)] The tiger chases the squirrel.[(triple3)] @1: The squirrel eats the rabbit.[(((triple2) -> rule2))] @2: The rabbit likes the tiger.[(((((triple2) -> rule2)) -> rule1))] @3: The tiger chases the rabbit.[(((((((triple2) -> rule2)) -> rule1)) -> rule4))] @4: The rabbit chases the squirrel.[(((((((((triple2) -> rule2)) -> rule1)) -> rule4)) -> rule7))]