The bear is not kind. The lion is not rough. The lion likes the squirrel. The lion does not see the bear. The lion sees the squirrel. The mouse is rough. The mouse needs the lion. The mouse needs the squirrel. The squirrel is not cold. The squirrel does not see the mouse. If something is rough and it needs the lion then the lion needs the squirrel. If something likes the lion and it sees the bear then the bear likes the lion.
The bear does not like the lion.
@0: The bear is not kind.[(triple1)] The lion does not see the bear.[(triple4)] The lion is not rough.[(triple2)] The lion likes the squirrel.[(triple3)] The lion sees the squirrel.[(triple5)] The mouse is rough.[(triple6)] The mouse needs the lion.[(triple7)] The mouse needs the squirrel.[(triple8)] The squirrel does not see the mouse.[(triple10)] The squirrel is not cold.[(triple9)] @1: The lion needs the squirrel.[(((triple6 triple7) -> rule1))]