The bear eats the cow. The bear is cold. The bear is red. The bear likes the squirrel. The bear needs the cow. The bear needs the squirrel. The cow eats the bear. The cow is nice. The cow likes the squirrel. The cow needs the squirrel. The squirrel is big. The squirrel needs the cow. If something likes the bear then it is round. If something needs the cow then the cow is big. If something needs the bear then it needs the cow.
The cow does not need the cow.
@0: The bear eats the cow.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the cow.[(triple5)] The bear needs the squirrel.[(triple6)] The cow eats the bear.[(triple7)] The cow is nice.[(triple8)] The cow likes the squirrel.[(triple9)] The cow needs the squirrel.[(triple10)] The squirrel is big.[(triple11)] The squirrel needs the cow.[(triple12)] @1: The cow is big.[(((triple12) -> rule2) OR ((triple5) -> rule2))]