The cat sees the mouse. The cow chases the mouse. The dog is big. The mouse chases the cow. If someone needs the dog and they are not young then they do not need the mouse. If someone chases the cow and they are not cold then the cow does not see the cat. If someone is big and they do not chase the mouse then the mouse is not green. If someone chases the cow then the cow needs the mouse. If someone is big then they need the cow. If someone chases the cat and the cat is not green then the cat does not see the dog.
The mouse chases the cow.
@0: The cat sees the mouse.[(triple1)] The cow chases the mouse.[(triple2)] The dog is big.[(triple3)] The mouse chases the cow.[(triple4)] @1: The cow needs the mouse.[(((triple4) -> rule4))] The dog needs the cow.[(((triple3) -> rule5))]