The cow sees the squirrel. The mouse eats the cow. The squirrel is blue. The tiger is red. If something eats the cow then it chases the cow. If the squirrel sees the tiger and the squirrel chases the cow then the tiger chases the squirrel. If something is kind then it sees the cow.
The tiger sees the tiger.
@0: The cow sees the squirrel.[(triple1)] The mouse eats the cow.[(triple2)] The squirrel is blue.[(triple3)] The tiger is red.[(triple4)] @1: The mouse chases the cow.[(((triple2) -> rule1))]