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