The bear needs the mouse. The lion needs the bear. The lion sees the bear. The lion sees the squirrel. The mouse eats the squirrel. The mouse is blue. The mouse needs the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is rough. The squirrel needs the lion. The squirrel sees the mouse. If the bear is big and the bear sees the squirrel then the bear sees the lion. If something needs the mouse and it sees the bear then the mouse needs the squirrel. If something needs the squirrel and it needs the mouse then the squirrel needs the bear. If something sees the squirrel and the squirrel sees the bear then the bear sees the lion. If something needs the lion then the lion is cold. If something sees the bear and the bear is big then the bear is young.
The bear does not see the lion.
@0: The bear needs the mouse.[(triple1)] The lion needs the bear.[(triple2)] The lion sees the bear.[(triple3)] The lion sees the squirrel.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse is blue.[(triple6)] The mouse needs the squirrel.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel is big.[(triple9)] The squirrel is rough.[(triple10)] The squirrel needs the lion.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The lion is cold.[(((triple11) -> rule5))]