The bear eats the squirrel. The bear is kind. The bear is nice. The bear likes the squirrel. The bear needs the squirrel. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel likes the bear. The squirrel needs the bear. If something likes the squirrel then it eats the bear. If something likes the bear and it eats the squirrel then the squirrel eats the bear. If something is kind and it eats the bear then it likes the bear.
The bear does not like the bear.
@0: The bear eats the squirrel.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the squirrel.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is round.[(triple8)] The squirrel likes the bear.[(triple9 OR ((triple6 ((((triple2 ((triple4) -> rule1)) -> rule3) triple1) -> rule2)) -> rule3))] The squirrel needs the bear.[(triple10)] @1: The bear eats the bear.[(((triple4) -> rule1))] @2: The bear likes the bear.[(((triple2 ((triple4) -> rule1)) -> rule3))] @3: The squirrel eats the bear.[(((((triple2 ((triple4) -> rule1)) -> rule3) triple1) -> rule2))]