The mouse sees the squirrel. The squirrel is not blue. The tiger is rough. If someone is rough and they chase the mouse then they visit the mouse. If someone is rough then they chase the mouse. If someone visits the mouse then they chase the mouse. If someone visits the mouse then they are blue. If someone visits the mouse and they do not visit the tiger then the tiger is blue. If someone visits the mouse then they do not see the squirrel. If someone is rough and they do not see the mouse then they are green. If someone chases the squirrel and the squirrel does not visit the tiger then the tiger does not see the squirrel.
The mouse chases the mouse.
@0: The mouse sees the squirrel.[(triple1)] The squirrel is not blue.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger chases the mouse.[(((triple3) -> rule2))] @2: The tiger visits the mouse.[(((triple3 ((triple3) -> rule2)) -> rule1))] @3: The tiger does not see the squirrel.[(((((triple3 ((triple3) -> rule2)) -> rule1)) -> rule6))] The tiger is blue.[(((((triple3 ((triple3) -> rule2)) -> rule1)) -> rule4))]