The dog likes the mouse. The mouse visits the dog. If someone visits the dog and the dog visits the mouse then they are red. If someone needs the mouse and they like the dog then they visit the mouse. If someone likes the mouse and the mouse likes the dog then they visit the dog. If someone is young then they need the mouse. If someone is young and they visit the dog then they need the mouse. If someone visits the dog then they like the dog.
The dog likes the dog.
@0: The dog likes the mouse.[(triple1)] The mouse visits the dog.[(triple2)] @1: The mouse likes the dog.[(((triple2) -> rule6))] @2: The dog visits the dog.[(((triple1 ((triple2) -> rule6)) -> rule3))] @3: The dog likes the dog.[(((((triple1 ((triple2) -> rule6)) -> rule3)) -> rule6))]