The bear eats the squirrel. The bear is kind. The bear is young. The bear needs the squirrel. The bear sees the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is young. The squirrel needs the bear. The squirrel sees the bear. If something needs the bear then the bear needs the squirrel. If something eats the squirrel and the squirrel sees the bear then the squirrel eats the bear.
The squirrel does not see the bear.
@0: The bear eats the squirrel.[(triple1)] The bear is kind.[(triple2)] The bear is young.[(triple3)] The bear needs the squirrel.[(triple4 OR ((triple9) -> rule1))] The bear sees the squirrel.[(triple5)] The squirrel eats the bear.[(triple6 OR ((triple1 triple10) -> rule2))] The squirrel is big.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel sees the bear.[(triple10)]