The bear eats the cow. The bear eats the squirrel. The bear is round. The bear needs the cow. The cow chases the bear. The cow is big. The cow is green. The cow is round. The cow needs the bear. The cow needs the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is green. The squirrel is kind. The squirrel needs the bear. If the cow is kind then the cow eats the squirrel. If the bear is round then the bear chases the cow. If something is rough and it chases the bear then it is green. If something needs the cow then the cow eats the bear. If something is kind and it chases the bear then the bear chases the squirrel. If something is rough then it chases the bear.
The cow is not big.
@0: The bear eats the cow.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is round.[(triple3)] The bear needs the cow.[(triple4)] The cow chases the bear.[(triple5)] The cow is big.[(triple6)] The cow is green.[(triple7)] The cow is round.[(triple8)] The cow needs the bear.[(triple9)] The cow needs the squirrel.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel eats the bear.[(triple12)] The squirrel is green.[(triple13)] The squirrel is kind.[(triple14)] The squirrel needs the bear.[(triple15)] @1: The bear chases the cow.[(((triple3) -> rule2))] The bear chases the squirrel.[(((triple14 triple11) -> rule5))] The cow eats the bear.[(((triple4) -> rule4))]