The bear is blue. The bear needs the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is rough. The squirrel likes the bear. The squirrel needs the bear. If something needs the bear and the bear is blue then it eats the bear. If the bear eats the squirrel and the squirrel needs the bear then the bear is round. If something is blue then it needs the bear.
The squirrel does not like the bear.
@0: The bear is blue.[(triple1)] The bear needs the squirrel.[(triple2)] The squirrel eats the bear.[(triple3 OR ((triple7 triple1) -> rule1))] The squirrel is big.[(triple4)] The squirrel is rough.[(triple5)] The squirrel likes the bear.[(triple6)] The squirrel needs the bear.[(triple7)] @1: The bear needs the bear.[(((triple1) -> rule3))] @2: The bear eats the bear.[(((((triple1) -> rule3) triple1) -> rule1))]