The bear eats the cow. The bear is blue. The bear is green. The bear is red. The bear is young. The bear needs the cow. The bear needs the squirrel. The bear sees the cow. The bear sees the squirrel. The cow eats the bear. The squirrel eats the bear. The squirrel eats the cow. The squirrel is blue. The squirrel is young. The squirrel needs the cow. The squirrel sees the bear. If someone needs the squirrel then the squirrel is blue. If the cow is red then the cow sees the bear. If the bear is big then the bear needs the squirrel.
The bear is big.
@0: The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear is young.[(triple5)] The bear needs the cow.[(triple6)] The bear needs the squirrel.[(triple7)] The bear sees the cow.[(triple8)] The bear sees the squirrel.[(triple9)] The cow eats the bear.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel eats the cow.[(triple12)] The squirrel is blue.[(triple13 OR ((triple7) -> rule1))] The squirrel is young.[(triple14)] The squirrel needs the cow.[(triple15)] The squirrel sees the bear.[(triple16)]