The mouse likes the rabbit. The mouse visits the rabbit. The rabbit chases the mouse. If something visits the mouse then it does not visit the rabbit. If something chases the mouse and the mouse visits the rabbit then the mouse is green. If something chases the rabbit then it chases the mouse. If something is green then it chases the rabbit. If something is kind then it likes the rabbit. If something chases the rabbit and it likes the rabbit then the rabbit likes the mouse. If something visits the rabbit and the rabbit visits the mouse then the rabbit likes the mouse. If something is red and it does not chase the mouse then the mouse does not like the rabbit.
The mouse does not chase the mouse.
@0: The mouse likes the rabbit.[(triple1)] The mouse visits the rabbit.[(triple2)] The rabbit chases the mouse.[(triple3)] @1: The mouse is green.[(((triple3 triple2) -> rule2))] @2: The mouse chases the rabbit.[(((((triple3 triple2) -> rule2)) -> rule4))] @3: The mouse chases the mouse.[(((((((triple3 triple2) -> rule2)) -> rule4)) -> rule3))] The rabbit likes the mouse.[(((((((triple3 triple2) -> rule2)) -> rule4) triple1) -> rule6))]