The dog is young. The mouse sees the dog. The mouse visits the dog. If something is rough and it sees the dog then the dog is rough. If something sees the mouse and the mouse visits the dog then it visits the mouse. If something visits the dog and it visits the mouse then it chases the dog. If something visits the dog then it sees the mouse. If something is red and it visits the dog then the dog sees the mouse. If something visits the mouse then it is young.
The mouse sees the mouse.
@0: The dog is young.[(triple1)] The mouse sees the dog.[(triple2)] The mouse visits the dog.[(triple3)] @1: The mouse sees the mouse.[(((triple3) -> rule4))] @2: The mouse visits the mouse.[(((((triple3) -> rule4) triple3) -> rule2))] @3: The mouse chases the dog.[(((triple3 ((((triple3) -> rule4) triple3) -> rule2)) -> rule3))] The mouse is young.[(((((((triple3) -> rule4) triple3) -> rule2)) -> rule6))]