The cow does not need the mouse. The cow needs the rabbit. The cow sees the dog. The cow sees the mouse. The cow sees the rabbit. The dog is big. The dog needs the rabbit. The dog sees the mouse. The dog visits the cow. The mouse sees the cow. The mouse sees the rabbit. The rabbit is blue. If something is red then it sees the rabbit. If something sees the rabbit then it visits the dog. If something sees the cow and the cow is not young then it is red. If something is big and red then it does not visit the cow. If something needs the mouse and the mouse does not need the rabbit then the mouse needs the dog. If the rabbit visits the dog and the rabbit needs the mouse then the mouse sees the dog.
The cow does not see the dog.
@0: The cow does not need the mouse.[(triple1)] The cow needs the rabbit.[(triple2)] The cow sees the dog.[(triple3)] The cow sees the mouse.[(triple4)] The cow sees the rabbit.[(triple5)] The dog is big.[(triple6)] The dog needs the rabbit.[(triple7)] The dog sees the mouse.[(triple8)] The dog visits the cow.[(triple9)] The mouse sees the cow.[(triple10)] The mouse sees the rabbit.[(triple11)] The rabbit is blue.[(triple12)] @1: The cow visits the dog.[(((triple5) -> rule2))] The mouse visits the dog.[(((triple11) -> rule2))]