The cow is not blue. The cow is green. The cow visits the mouse. The lion does not eat the mouse. The lion sees the cow. The lion visits the mouse. The mouse is blue. The mouse is red. The squirrel is red. The squirrel visits the mouse. If something eats the squirrel then the squirrel visits the cow. If the cow eats the mouse and the cow eats the squirrel then the squirrel visits the cow. If something is red and big then it eats the lion. If something visits the cow then it does not visit the squirrel. If something sees the mouse then the mouse eats the squirrel. If something sees the lion then it sees the mouse. If something is red and it visits the lion then it does not eat the cow. If something is blue then it sees the lion.
The squirrel does not visit the cow.
@0: The cow is green.[(triple2)] The cow is not blue.[(triple1)] The cow visits the mouse.[(triple3)] The lion does not eat the mouse.[(triple4)] The lion sees the cow.[(triple5)] The lion visits the mouse.[(triple6)] The mouse is blue.[(triple7)] The mouse is red.[(triple8)] The squirrel is red.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The mouse sees the lion.[(((triple7) -> rule8))] @2: The mouse sees the mouse.[(((((triple7) -> rule8)) -> rule6))] @3: The mouse eats the squirrel.[(((((((triple7) -> rule8)) -> rule6)) -> rule5))] @4: The squirrel visits the cow.[(((((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule1))] @5: The squirrel does not visit the squirrel.[(((((((((((triple7) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule4))]