The bear is nice. The bear is young. The bear sees the squirrel. The bear visits the squirrel. The squirrel eats the bear. The squirrel is cold. The squirrel sees the bear. If something eats the bear and the bear sees the squirrel then it sees the squirrel. If something eats the bear and the bear visits the squirrel then the squirrel is young.
The squirrel does not eat the bear.
@0: The bear is nice.[(triple1)] The bear is young.[(triple2)] The bear sees the squirrel.[(triple3)] The bear visits the squirrel.[(triple4)] The squirrel eats the bear.[(triple5)] The squirrel is cold.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The squirrel is young.[(((triple5 triple4) -> rule2))] The squirrel sees the squirrel.[(((triple5 triple3) -> rule1))]