The cow visits the lion. The cow visits the mouse. The lion is red. The lion is young. The lion likes the squirrel. The lion visits the cow. The mouse is cold. The mouse visits the lion. The squirrel is cold. The squirrel is rough. The squirrel needs the cow. The squirrel needs the mouse. If something visits the cow and it likes the squirrel then it needs the lion. If something needs the mouse then it likes the mouse. If something likes the squirrel then it needs the squirrel. If something needs the mouse then it is cold. If the squirrel needs the lion then the lion visits the mouse. If something needs the lion and it visits the squirrel then the lion likes the squirrel.
The squirrel does not need the mouse.
@0: The cow visits the lion.[(triple1)] The cow visits the mouse.[(triple2)] The lion is red.[(triple3)] The lion is young.[(triple4)] The lion likes the squirrel.[(triple5)] The lion visits the cow.[(triple6)] The mouse is cold.[(triple7)] The mouse visits the lion.[(triple8)] The squirrel is cold.[(triple9 OR ((triple12) -> rule4))] The squirrel is rough.[(triple10)] The squirrel needs the cow.[(triple11)] The squirrel needs the mouse.[(triple12)] @1: The lion needs the lion.[(((triple6 triple5) -> rule1))] The lion needs the squirrel.[(((triple5) -> rule3))] The squirrel likes the mouse.[(((triple12) -> rule2))]