The mouse visits the squirrel. The rabbit is green. The rabbit sees the tiger. The squirrel likes the rabbit. The squirrel does not like the tiger. The tiger is red. The tiger sees the mouse. The tiger sees the squirrel. The tiger visits the mouse. The tiger does not visit the rabbit. If something sees the squirrel and it sees the rabbit then it is green. If something visits the mouse then it likes the mouse. If something sees the squirrel and it likes the mouse then the squirrel visits the rabbit. If something visits the tiger then it does not see the squirrel. If something is green and it sees the tiger then it is not nice. If the rabbit is green then the rabbit is kind. If something visits the rabbit then it visits the squirrel. If something sees the tiger and the tiger likes the squirrel then the squirrel is rough.
The squirrel does not visit the squirrel.
@0: The mouse visits the squirrel.[(triple1)] The rabbit is green.[(triple2)] The rabbit sees the tiger.[(triple3)] The squirrel does not like the tiger.[(triple5)] The squirrel likes the rabbit.[(triple4)] The tiger does not visit the rabbit.[(triple10)] The tiger is red.[(triple6)] The tiger sees the mouse.[(triple7)] The tiger sees the squirrel.[(triple8)] The tiger visits the mouse.[(triple9)] @1: The rabbit is kind.[(((triple2) -> rule6))] The rabbit is not nice.[(((triple2 triple3) -> rule5))] The tiger likes the mouse.[(((triple9) -> rule2))] @2: The squirrel visits the rabbit.[(((triple8 ((triple9) -> rule2)) -> rule3))] @3: The squirrel visits the squirrel.[(((((triple8 ((triple9) -> rule2)) -> rule3)) -> rule7))]