The cow chases the squirrel. The cow is green. The cow is kind. The cow is red. The cow does not see the mouse. The cow sees the squirrel. The mouse chases the squirrel. The mouse is green. The mouse likes the cow. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel is not cold. The squirrel is kind. The squirrel likes the cow. The squirrel likes the mouse. The squirrel sees the mouse. If someone likes the mouse and the mouse does not chase the squirrel then the mouse does not see the cow. If the squirrel sees the mouse then the mouse is not red. If someone likes the mouse then the mouse is not cold. If someone is red and they do not see the squirrel then the squirrel likes the cow. If someone chases the squirrel then they like the squirrel. If someone is blue and not red then they like the cow.
The mouse is not green.
@0: The cow chases the squirrel.[(triple1)] The cow does not see the mouse.[(triple5)] The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow sees the squirrel.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse is green.[(triple8)] The mouse likes the cow.[(triple9)] The mouse likes the squirrel.[(triple10 OR ((triple7) -> rule5))] The mouse sees the squirrel.[(triple11)] The squirrel is kind.[(triple13)] The squirrel is not cold.[(triple12)] The squirrel likes the cow.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The cow likes the squirrel.[(((triple1) -> rule5))] The mouse is not cold.[(((triple15) -> rule3))] The mouse is not red.[(((triple16) -> rule2))]