The cat visits the dog. The cat visits the mouse. The cow chases the dog. The cow is round. The cow does not see the cat. The cow visits the mouse. The dog chases the cow. The dog is green. The mouse chases the cat. The mouse visits the dog. If the cow is kind then the cow chases the dog. If someone chases the cat and the cat visits the mouse then they are not nice. If someone is round then they chase the dog. If someone sees the dog then they chase the mouse. If the cow does not see the mouse and the mouse is not green then the cow is green. If someone sees the dog and they are not nice then the dog visits the cat.
The cow does not chase the mouse.
@0: The cat visits the dog.[(triple1)] The cat visits the mouse.[(triple2)] The cow chases the dog.[(triple3 OR ((triple4) -> rule3))] The cow does not see the cat.[(triple5)] The cow is round.[(triple4)] The cow visits the mouse.[(triple6)] The dog chases the cow.[(triple7)] The dog is green.[(triple8)] The mouse chases the cat.[(triple9)] The mouse visits the dog.[(triple10)] @1: The mouse is not nice.[(((triple9 triple2) -> rule2))]