The cow needs the squirrel. The dog needs the tiger. The squirrel eats the dog. The tiger needs the dog. If the squirrel eats the tiger and the tiger needs the dog then the tiger is cold. If something is big then it eats the squirrel. If something sees the tiger then the tiger needs the dog. If something eats the dog and it eats the tiger then the tiger is blue. If something eats the dog then it is blue. If something needs the dog then it eats the tiger.
The cow is kind.
@0: The cow needs the squirrel.[(triple1)] The dog needs the tiger.[(triple2)] The squirrel eats the dog.[(triple3)] The tiger needs the dog.[(triple4)] @1: The squirrel is blue.[(((triple3) -> rule5))] The tiger eats the tiger.[(((triple4) -> rule6))]