The bear is young. The bear likes the lion. The bear likes the squirrel. The bear likes the tiger. The bear does not see the lion. The bear sees the squirrel. The lion likes the tiger. The lion sees the bear. The squirrel is cold. The squirrel is kind. The squirrel is rough. The squirrel is young. The tiger is young. The tiger likes the bear. The tiger sees the bear. If someone is kind and they need the bear then the bear is not young. If someone sees the squirrel then they do not see the tiger.
The bear does not see the bear.
@0: The bear does not see the lion.[(triple5)] The bear is young.[(triple1)] The bear likes the lion.[(triple2)] The bear likes the squirrel.[(triple3)] The bear likes the tiger.[(triple4)] The bear sees the squirrel.[(triple6)] The lion likes the tiger.[(triple7)] The lion sees the bear.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is young.[(triple12)] The tiger is young.[(triple13)] The tiger likes the bear.[(triple14)] The tiger sees the bear.[(triple15)] @1: The bear does not see the tiger.[(((triple6) -> rule2))]