The bear eats the squirrel. The bear is cold. The bear is red. The bear needs the lion. The bear does not need the squirrel. The lion is kind. The lion needs the mouse. The lion does not need the squirrel. The lion does not see the squirrel. The mouse does not eat the squirrel. The mouse sees the squirrel. The squirrel is not cold. If something sees the squirrel then the squirrel needs the bear. If the mouse is red then the mouse is cold. If something is kind and it needs the squirrel then the squirrel is not nice. If the lion is not nice and the lion does not see the squirrel then the squirrel is not nice. If something sees the mouse then the mouse sees the bear. If something needs the bear then it sees the mouse.
The lion does not see the mouse.
@0: The bear does not need the squirrel.[(triple5)] The bear eats the squirrel.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear needs the lion.[(triple4)] The lion does not need the squirrel.[(triple8)] The lion does not see the squirrel.[(triple9)] The lion is kind.[(triple6)] The lion needs the mouse.[(triple7)] The mouse does not eat the squirrel.[(triple10)] The mouse sees the squirrel.[(triple11)] The squirrel is not cold.[(triple12)] @1: The squirrel needs the bear.[(((triple11) -> rule1))] @2: The squirrel sees the mouse.[(((((triple11) -> rule1)) -> rule6))] @3: The mouse sees the bear.[(((((((triple11) -> rule1)) -> rule6)) -> rule5))]