The dog chases the mouse. The dog is cold. The dog is nice. The dog is round. The dog sees the mouse. The dog visits the mouse. The mouse chases the dog. The mouse is red. The mouse sees the dog. The mouse visits the dog. If something visits the dog then the dog sees the mouse. If something visits the dog then the dog is round. If something is round then it visits the dog.
The mouse is not round.
@0: The dog chases the mouse.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog is round.[(triple4 OR ((triple10) -> rule2))] The dog sees the mouse.[(triple5 OR ((triple10) -> rule1) OR ((((triple4) -> rule3)) -> rule1) OR ((((((triple10) -> rule2)) -> rule3)) -> rule1))] The dog visits the mouse.[(triple6)] The mouse chases the dog.[(triple7)] The mouse is red.[(triple8)] The mouse sees the dog.[(triple9)] The mouse visits the dog.[(triple10)] @1: The dog visits the dog.[(((triple4) -> rule3) OR ((((triple10) -> rule2)) -> rule3))]