The cow does not chase the dog. The cow chases the mouse. The cow is rough. The cow sees the mouse. The dog chases the cow. The dog chases the mouse. The dog is green. The dog is kind. The dog is round. The dog sees the cow. The dog visits the cow. The dog visits the mouse. The mouse does not chase the cow. The mouse chases the dog. The mouse sees the cow. The mouse visits the dog. If the dog is kind then the dog chases the mouse. If the dog does not chase the cow then the dog chases the mouse. If the dog is not rough then the dog is not green. If someone sees the dog then they are not big. If the mouse visits the cow and the mouse does not visit the dog then the dog visits the cow. If the cow does not chase the dog then the cow sees the mouse. If someone sees the cow and they are not big then they see the mouse. If someone sees the cow and the cow does not see the mouse then the cow is green.
The cow visits the mouse.
@0: The cow chases the mouse.[(triple2)] The cow does not chase the dog.[(triple1)] The cow is rough.[(triple3)] The cow sees the mouse.[(triple4 OR ((triple1) -> rule6))] The dog chases the cow.[(triple5)] The dog chases the mouse.[(triple6 OR ((triple8) -> rule1))] The dog is green.[(triple7)] The dog is kind.[(triple8)] The dog is round.[(triple9)] The dog sees the cow.[(triple10)] The dog visits the cow.[(triple11)] The dog visits the mouse.[(triple12)] The mouse chases the dog.[(triple14)] The mouse does not chase the cow.[(triple13)] The mouse sees the cow.[(triple15)] The mouse visits the dog.[(triple16)]