The cow does not eat the dog. The cow is not red. The dog chases the mouse. The dog eats the cow. The dog is round. The dog visits the cow. The mouse chases the cow. The mouse eats the dog. The mouse is nice. The mouse is rough. If something eats the dog and it chases the cow then it visits the cow. If something eats the cow then it is rough.
The cow does not visit the cow.
@0: The cow does not eat the dog.[(triple1)] The cow is not red.[(triple2)] The dog chases the mouse.[(triple3)] The dog eats the cow.[(triple4)] The dog is round.[(triple5)] The dog visits the cow.[(triple6)] The mouse chases the cow.[(triple7)] The mouse eats the dog.[(triple8)] The mouse is nice.[(triple9)] The mouse is rough.[(triple10)] @1: The dog is rough.[(((triple4) -> rule2))] The mouse visits the cow.[(((triple8 triple7) -> rule1))]