The cow chases the mouse. The cow chases the squirrel. The cow is big. The cow is round. The cow needs the squirrel. The cow visits the mouse. The mouse chases the squirrel. The mouse is blue. The mouse is red. The mouse is rough. The mouse is round. The squirrel is big. The squirrel is rough. The squirrel visits the cow. The squirrel visits the mouse. If someone needs the squirrel and they need the cow then the cow visits the squirrel. Blue, red people are round. If someone visits the mouse and the mouse visits the cow then the cow visits the mouse. If someone needs the squirrel then the squirrel is blue. All big, round people are blue. If someone chases the cow then the cow visits the mouse. If someone chases the squirrel and they need the mouse then they chase the cow. If someone needs the cow and the cow visits the squirrel then the squirrel is big.
The squirrel needs the mouse.
@0: The cow chases the mouse.[(triple1)] The cow chases the squirrel.[(triple2)] The cow is big.[(triple3)] The cow is round.[(triple4)] The cow needs the squirrel.[(triple5)] The cow visits the mouse.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse is blue.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] The mouse is round.[(triple11 OR ((triple8 triple9) -> rule2))] The squirrel is big.[(triple12)] The squirrel is rough.[(triple13)] The squirrel visits the cow.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The cow is blue.[(((triple3 triple4) -> rule5))] The squirrel is blue.[(((triple5) -> rule4))]