The bear eats the squirrel. The bear is big. The bear is green. The bear is round. The bear is young. The bear likes the squirrel. The bear needs the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is round. The squirrel is young. The squirrel likes the bear. The squirrel needs the bear. If the squirrel is blue and the squirrel needs the bear then the squirrel is round. If someone likes the bear and the bear likes the squirrel then they need the squirrel. If someone needs the squirrel and they need the bear then they eat the squirrel.
The bear is not round.
@0: The bear eats the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear likes the squirrel.[(triple6)] The bear needs the squirrel.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel is big.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11)] The squirrel is round.[(triple12 OR ((triple10 triple15) -> rule1))] The squirrel is young.[(triple13)] The squirrel likes the bear.[(triple14)] The squirrel needs the bear.[(triple15)] @1: The squirrel needs the squirrel.[(((triple14 triple6) -> rule2))] @2: The squirrel eats the squirrel.[(((((triple14 triple6) -> rule2) triple15) -> rule3))]