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