The cat visits the mouse. The dog likes the rabbit. The mouse does not like the dog. The rabbit is rough. If something likes the dog then the dog likes the mouse. If something visits the cat and the cat is big then the cat is rough. If something likes the mouse then the mouse is red. If something likes the rabbit then the rabbit likes the dog. If something needs the rabbit and it does not visit the cat then the rabbit likes the dog. If something is blue then it likes the mouse.
The mouse likes the dog.
@0: The cat visits the mouse.[(triple1)] The dog likes the rabbit.[(triple2)] The mouse does not like the dog.[(triple3)] The rabbit is rough.[(triple4)] @1: The rabbit likes the dog.[(((triple2) -> rule4))] @2: The dog likes the mouse.[(((((triple2) -> rule4)) -> rule1))] @3: The mouse is red.[(((((((triple2) -> rule4)) -> rule1)) -> rule3))]