The cow is cold. The cow is not rough. The cow likes the mouse. The cow likes the squirrel. The cow does not need the squirrel. The mouse chases the squirrel. The mouse is cold. The mouse is green. The mouse is rough. The mouse is round. The mouse needs the cow. The squirrel chases the cow. The squirrel chases the mouse. The squirrel is round. The squirrel does not like the mouse. The squirrel needs the cow. If something likes the cow and it is not big then it likes the mouse. If something is round and it likes the mouse then it does not like the squirrel. If the squirrel needs the cow then the cow needs the mouse. Round things are green. If something likes the cow then it is not green. If something needs the mouse and it chases the mouse then the mouse does not chase the squirrel. If something needs the cow then the cow is green. If something needs the mouse and the mouse does not like the cow then the mouse is cold.
The cow likes the mouse.
@0: The cow does not need the squirrel.[(triple5)] The cow is cold.[(triple1)] The cow is not rough.[(triple2)] The cow likes the mouse.[(triple3)] The cow likes the squirrel.[(triple4)] The mouse chases the squirrel.[(triple6)] The mouse is cold.[(triple7)] The mouse is green.[(triple8 OR ((triple10) -> rule4))] The mouse is rough.[(triple9)] The mouse is round.[(triple10)] The mouse needs the cow.[(triple11)] The squirrel chases the cow.[(triple12)] The squirrel chases the mouse.[(triple13)] The squirrel does not like the mouse.[(triple15)] The squirrel is round.[(triple14)] The squirrel needs the cow.[(triple16)] @1: The cow is green.[(((triple11) -> rule7) OR ((triple16) -> rule7))] The cow needs the mouse.[(((triple16) -> rule3))] The squirrel is green.[(((triple14) -> rule4))]