The cat needs the cow. The cow needs the cat. The mouse chases the cat. The tiger needs the cow. If someone chases the cow and the cow chases the tiger then the tiger needs the mouse. If someone is kind then they see the cow. If someone chases the cow and they see the cat then the cow chases the cat. If the cat is kind and the cat is big then the cat is cold. If someone chases the tiger and they need the tiger then they need the cat. If someone needs the cat then they are kind.
The mouse sees the mouse.
@0: The cat needs the cow.[(triple1)] The cow needs the cat.[(triple2)] The mouse chases the cat.[(triple3)] The tiger needs the cow.[(triple4)] @1: The cow is kind.[(((triple2) -> rule6))] @2: The cow sees the cow.[(((((triple2) -> rule6)) -> rule2))]