The cat does not chase the mouse. The cow chases the cat. The mouse does not see the cat. If something is blue then it sees the cow. If something chases the cat then it is blue. If something chases the cow then the cow is big. If something chases the cat and the cat is red then it does not see the cat. If something visits the cow then it visits the mouse. If something chases the cat then the cat does not chase the cow. If something chases the cat and the cat visits the cow then the cat is cold. If the cow chases the cat and the cat does not chase the cow then the cow does not visit the cat.
The cat visits the cat.
@0: The cat does not chase the mouse.[(triple1)] The cow chases the cat.[(triple2)] The mouse does not see the cat.[(triple3)] @1: The cat does not chase the cow.[(((triple2) -> rule6))] The cow is blue.[(((triple2) -> rule2))] @2: The cow does not visit the cat.[(((triple2 ((triple2) -> rule6)) -> rule8))] The cow sees the cow.[(((((triple2) -> rule2)) -> rule1))]