The bear is big. The bear is not red. The bear is rough. The bear needs the squirrel. The cow chases the squirrel. The cow is not big. The cow is not green. The cow is red. The cow likes the squirrel. The cow needs the bear. The squirrel does not chase the bear. The squirrel chases the cow. The squirrel is red. The squirrel likes the cow. The squirrel needs the bear. The squirrel needs the cow. If something likes the cow then it likes the squirrel. If the squirrel is rough then the squirrel does not need the cow. If something likes the cow then it needs the bear. If the bear likes the cow and the cow is blue then the bear needs the cow. If the cow likes the bear and the bear is green then the bear chases the squirrel. If something likes the cow and it does not like the squirrel then the cow needs the squirrel.
The cow is big.
@0: The bear is big.[(triple1)] The bear is not red.[(triple2)] The bear is rough.[(triple3)] The bear needs the squirrel.[(triple4)] The cow chases the squirrel.[(triple5)] The cow is not big.[(triple6)] The cow is not green.[(triple7)] The cow is red.[(triple8)] The cow likes the squirrel.[(triple9)] The cow needs the bear.[(triple10)] The squirrel chases the cow.[(triple12)] The squirrel does not chase the bear.[(triple11)] The squirrel is red.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel needs the bear.[(triple15 OR ((triple14) -> rule3))] The squirrel needs the cow.[(triple16)] @1: The squirrel likes the squirrel.[(((triple14) -> rule1))]