The cow eats the squirrel. The cow is not blue. The cow is green. The cow does not see the squirrel. The cow visits the mouse. The mouse is blue. The mouse is young. The mouse does not visit the squirrel. The squirrel eats the cow. The squirrel sees the mouse. The squirrel visits the cow. The squirrel visits the mouse. If someone is big then they visit the mouse. If someone eats the squirrel and the squirrel sees the mouse then the squirrel is not green. If someone is rough then they are big. If someone is blue and they eat the cow then they see the cow. If the cow does not see the mouse and the mouse does not eat the cow then the cow is big. If the squirrel sees the mouse and the squirrel does not visit the mouse then the squirrel visits the cow. If the squirrel visits the cow and the squirrel is not green then the squirrel eats the mouse. If someone visits the mouse and they do not eat the mouse then the mouse is young.
The squirrel is not blue.
@0: The cow does not see the squirrel.[(triple4)] The cow eats the squirrel.[(triple1)] The cow is green.[(triple3)] The cow is not blue.[(triple2)] The cow visits the mouse.[(triple5)] The mouse does not visit the squirrel.[(triple8)] The mouse is blue.[(triple6)] The mouse is young.[(triple7)] The squirrel eats the cow.[(triple9)] The squirrel sees the mouse.[(triple10)] The squirrel visits the cow.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The squirrel is not green.[(((triple1 triple10) -> rule2))] @2: The squirrel eats the mouse.[(((triple11 ((triple1 triple10) -> rule2)) -> rule7))]