The cow eats the mouse. The cow eats the squirrel. The cow needs the mouse. The cow needs the squirrel. The mouse does not eat the squirrel. The mouse is big. The mouse is green. The mouse is round. The squirrel eats the cow. The squirrel eats the mouse. The squirrel is green. The squirrel does not need the cow. If someone needs the mouse and the mouse does not see the squirrel then the mouse sees the cow. If someone is big then they do not eat the squirrel. If someone eats the cow and they need the mouse then they see the cow. If someone needs the mouse and they do not see the squirrel then they see the cow. If someone needs the cow and the cow is not round then the cow is big. If someone needs the mouse then the mouse needs the squirrel. If someone needs the mouse and the mouse needs the squirrel then the squirrel is big. If the squirrel does not eat the mouse then the squirrel does not see the mouse.
The cow is not big.
@0: The cow eats the mouse.[(triple1)] The cow eats the squirrel.[(triple2)] The cow needs the mouse.[(triple3)] The cow needs the squirrel.[(triple4)] The mouse does not eat the squirrel.[(triple5 OR ((triple6) -> rule2))] The mouse is big.[(triple6)] The mouse is green.[(triple7)] The mouse is round.[(triple8)] The squirrel does not need the cow.[(triple12)] The squirrel eats the cow.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is green.[(triple11)] @1: The mouse needs the squirrel.[(((triple3) -> rule6))] @2: The squirrel is big.[(((triple3 ((triple3) -> rule6)) -> rule7))] @3: The squirrel does not eat the squirrel.[(((((triple3 ((triple3) -> rule6)) -> rule7)) -> rule2))]