The bear needs the squirrel. The bear sees the squirrel. The rabbit is big. The rabbit is young. The squirrel eats the rabbit. The squirrel is big. The squirrel sees the bear. If someone eats the rabbit then they see the squirrel.
The rabbit is big.
@0: The bear needs the squirrel.[(triple1)] The bear sees the squirrel.[(triple2)] The rabbit is big.[(triple3)] The rabbit is young.[(triple4)] The squirrel eats the rabbit.[(triple5)] The squirrel is big.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The squirrel sees the squirrel.[(((triple5) -> rule1))]