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