The cow chases the squirrel. The cow needs the squirrel. The mouse is green. The mouse needs the squirrel. The squirrel chases the cow. The squirrel chases the mouse. The squirrel is cold. The squirrel is young. The squirrel needs the cow. The squirrel sees the mouse. If the mouse is round then the mouse is green. If someone chases the cow and the cow is round then the cow needs the mouse. If someone is red and they see the cow then the cow chases the squirrel. If someone is round and they chase the squirrel then they chase the cow. If the squirrel is young and the squirrel chases the cow then the squirrel needs the mouse. If someone is red then they chase the cow. If someone needs the mouse and they chase the mouse then they see the cow. If someone needs the mouse and they chase the mouse then they are red.
The mouse does not see the cow.
@0: The cow chases the squirrel.[(triple1 OR ((((((triple8 triple5) -> rule5) triple6) -> rule8) ((((triple8 triple5) -> rule5) triple6) -> rule7)) -> rule3))] The cow needs the squirrel.[(triple2)] The mouse is green.[(triple3)] The mouse needs the squirrel.[(triple4)] The squirrel chases the cow.[(triple5)] The squirrel chases the mouse.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel sees the mouse.[(triple10)] @1: The squirrel needs the mouse.[(((triple8 triple5) -> rule5))] @2: The squirrel is red.[(((((triple8 triple5) -> rule5) triple6) -> rule8))] The squirrel sees the cow.[(((((triple8 triple5) -> rule5) triple6) -> rule7))]