The dog visits the mouse. The mouse visits the dog. The rabbit likes the mouse. If someone is kind and they like the mouse then the mouse visits the dog. If someone likes the mouse then the mouse needs the dog. If someone visits the rabbit and they like the mouse then the mouse visits the rabbit. If someone needs the dog then they are big. If someone likes the dog then they like the mouse. If someone is big then they like the mouse.
The rabbit is big.
@0: The dog visits the mouse.[(triple1)] The mouse visits the dog.[(triple2)] The rabbit likes the mouse.[(triple3)] @1: The mouse needs the dog.[(((triple3) -> rule2))] @2: The mouse is big.[(((((triple3) -> rule2)) -> rule4))] @3: The mouse likes the mouse.[(((((((triple3) -> rule2)) -> rule4)) -> rule6))]