The bear chases the squirrel. The bear eats the squirrel. The bear is kind. The bear needs the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is kind. The squirrel is rough. The squirrel is round. The squirrel needs the bear. If someone chases the squirrel then they eat the bear. If someone is rough and they chase the bear then the bear is rough. If someone chases the squirrel and the squirrel needs the bear then the squirrel eats the bear.
The squirrel eats the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is kind.[(triple3)] The bear needs the squirrel.[(triple4)] The squirrel chases the bear.[(triple5)] The squirrel eats the bear.[(triple6 OR ((triple1 triple10) -> rule3))] The squirrel is kind.[(triple7)] The squirrel is rough.[(triple8)] The squirrel is round.[(triple9)] The squirrel needs the bear.[(triple10)] @1: The bear eats the bear.[(((triple1) -> rule1))] The bear is rough.[(((triple8 triple5) -> rule2))]