The dog chases the mouse. The mouse is young. The mouse likes the dog. If something is round and rough then it is young. If something visits the dog then the dog is rough. If the dog chases the mouse then the dog likes the mouse. If something likes the mouse and the mouse likes the dog then it chases the mouse. If something chases the mouse then the mouse is round. If the dog likes the mouse then the mouse visits the dog.
The mouse does not like the mouse.
@0: The dog chases the mouse.[(triple1)] The mouse is young.[(triple2)] The mouse likes the dog.[(triple3)] @1: The dog likes the mouse.[(((triple1) -> rule3))] The mouse is round.[(((triple1) -> rule5))] @2: The mouse visits the dog.[(((((triple1) -> rule3)) -> rule6))] @3: The dog is rough.[(((((((triple1) -> rule3)) -> rule6)) -> rule2))]