The lion likes the squirrel. The mouse visits the lion. The squirrel likes the mouse. The tiger is not nice. If something is green and not blue then it visits the mouse. If something is green then it does not see the lion. If something visits the lion then the lion is green.
The mouse does not visit the mouse.
@0: The lion likes the squirrel.[(triple1)] The mouse visits the lion.[(triple2)] The squirrel likes the mouse.[(triple3)] The tiger is not nice.[(triple4)] @1: The lion is green.[(((triple2) -> rule3))] @2: The lion does not see the lion.[(((((triple2) -> rule3)) -> rule2))]