The bear chases the squirrel. The bear is blue. The bear is nice. The bear is red. The bear is young. The bear likes the squirrel. The bear needs the squirrel. The squirrel chases the bear. The squirrel is blue. The squirrel is round. The squirrel likes the bear. The squirrel needs the bear. If something needs the bear and the bear is red then the bear chases the squirrel. If the squirrel likes the bear and the bear is nice then the squirrel chases the bear. If something needs the squirrel then the squirrel chases the bear. If something chases the bear then the bear needs the squirrel. If something is young then it likes the bear. If something likes the squirrel and it is not nice then the squirrel is young.
The squirrel needs the squirrel.
@0: The bear chases the squirrel.[(triple1 OR ((triple12 triple4) -> rule1))] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5)] The bear likes the squirrel.[(triple6)] The bear needs the squirrel.[(triple7 OR ((triple8) -> rule4) OR ((((triple11 triple3) -> rule2)) -> rule4))] The squirrel chases the bear.[(triple8 OR ((triple7) -> rule3) OR ((triple11 triple3) -> rule2))] The squirrel is blue.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the bear.[(triple11)] The squirrel needs the bear.[(triple12)] @1: The bear likes the bear.[(((triple5) -> rule5))]