The cow eats the squirrel. The cow needs the squirrel. The cow visits the mouse. The cow visits the squirrel. The mouse eats the cow. The mouse eats the squirrel. The mouse is kind. The mouse is rough. The mouse needs the cow. The mouse visits the cow. The squirrel eats the cow. The squirrel needs the mouse. If the cow visits the mouse then the mouse eats the cow. If someone visits the squirrel and the squirrel needs the mouse then they are cold. If someone is kind then they are rough. If someone needs the squirrel then they are kind. If someone needs the mouse then they need the squirrel. If someone eats the mouse and they are green then the mouse is green. If someone is green and they need the cow then the cow eats the squirrel. If someone is kind then they need the mouse.
The mouse is green.
@0: The cow eats the squirrel.[(triple1)] The cow needs the squirrel.[(triple2)] The cow visits the mouse.[(triple3)] The cow visits the squirrel.[(triple4)] The mouse eats the cow.[(triple5 OR ((triple3) -> rule1))] The mouse eats the squirrel.[(triple6)] The mouse is kind.[(triple7)] The mouse is rough.[(triple8 OR ((triple7) -> rule3))] The mouse needs the cow.[(triple9)] The mouse visits the cow.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel needs the mouse.[(triple12)] @1: The cow is cold.[(((triple4 triple12) -> rule2))] The cow is kind.[(((triple2) -> rule4))] The mouse needs the mouse.[(((triple7) -> rule8))] The squirrel needs the squirrel.[(((triple12) -> rule5))] @2: The cow is rough.[(((((triple2) -> rule4)) -> rule3))] The cow needs the mouse.[(((((triple2) -> rule4)) -> rule8))] The mouse needs the squirrel.[(((((triple7) -> rule8)) -> rule5))] The squirrel is kind.[(((((triple12) -> rule5)) -> rule4))] @3: The squirrel is rough.[(((((((triple12) -> rule5)) -> rule4)) -> rule3))]