The mouse sees the rabbit. The rabbit sees the mouse. If something likes the rabbit then it is blue. If something sees the rabbit then the rabbit likes the mouse. If something likes the mouse then it visits the mouse. If something sees the mouse and it is rough then the mouse is young. If something sees the mouse then it likes the rabbit. If something visits the mouse and the mouse visits the rabbit then the mouse likes the rabbit.
The mouse is rough.
@0: The mouse sees the rabbit.[(triple1)] The rabbit sees the mouse.[(triple2)] @1: The rabbit likes the mouse.[(((triple1) -> rule2))] The rabbit likes the rabbit.[(((triple2) -> rule5))] @2: The rabbit is blue.[(((((triple2) -> rule5)) -> rule1))] The rabbit visits the mouse.[(((((triple1) -> rule2)) -> rule3))]