The lion chases the squirrel. The lion is not cold. The lion is nice. The lion needs the mouse. The lion does not need the squirrel. The mouse does not chase the lion. The mouse needs the squirrel. The mouse does not see the lion. The squirrel chases the lion. The squirrel chases the mouse. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is not nice. The squirrel does not need the lion. The squirrel sees the lion. If something needs the lion then the lion is young. If something needs the squirrel then the squirrel does not see the mouse. If something is cold and it needs the lion then the lion needs the mouse. If the lion needs the squirrel then the lion chases the mouse. If the lion is young then the lion does not chase the mouse. If the squirrel is big then the squirrel does not need the mouse. If something is cold and it does not chase the squirrel then it sees the squirrel. If something chases the squirrel then the squirrel sees the lion.
The mouse does not see the lion.
@0: The lion chases the squirrel.[(triple1)] The lion does not need the squirrel.[(triple5)] The lion is nice.[(triple3)] The lion is not cold.[(triple2)] The lion needs the mouse.[(triple4)] The mouse does not chase the lion.[(triple6)] The mouse does not see the lion.[(triple8)] The mouse needs the squirrel.[(triple7)] The squirrel chases the lion.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel does not need the lion.[(triple15)] The squirrel is big.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is green.[(triple13)] The squirrel is not nice.[(triple14)] The squirrel sees the lion.[(triple16 OR ((triple1) -> rule8))] @1: The squirrel does not need the mouse.[(((triple11) -> rule6))] The squirrel does not see the mouse.[(((triple7) -> rule2))]