The bear chases the squirrel. The bear is big. The bear likes the squirrel. The squirrel does not chase the bear. The squirrel is not green. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel likes the bear. The squirrel does not need the bear. If something is round then it does not like the squirrel. If something is green then it likes the squirrel. If something needs the squirrel then it is not kind. If something needs the squirrel and the squirrel is green then it is not kind. If the bear likes the squirrel then the bear chases the squirrel. If something likes the bear then the bear does not need the squirrel.
The bear does not need the bear.
@0: The bear chases the squirrel.[(triple1 OR ((triple3) -> rule5))] The bear is big.[(triple2)] The bear likes the squirrel.[(triple3)] The squirrel does not chase the bear.[(triple4)] The squirrel does not need the bear.[(triple10)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is not green.[(triple5)] The squirrel is round.[(triple8)] The squirrel likes the bear.[(triple9)] @1: The bear does not need the squirrel.[(((triple9) -> rule6))] The squirrel does not like the squirrel.[(((triple8) -> rule1))]