The bear eats the cow. The bear is kind. The bear is red. The bear likes the cow. The bear likes the squirrel. The bear needs the cow. The cow needs the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel needs the cow. If someone likes the cow and the cow needs the squirrel then they need the bear. If someone eats the cow and they need the bear then the cow needs the bear.
The bear does not like the bear.
@0: The bear eats the cow.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the squirrel.[(triple5)] The bear needs the cow.[(triple6)] The cow needs the squirrel.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel is big.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The bear needs the bear.[(((triple4 triple7) -> rule1))] @2: The cow needs the bear.[(((triple1 ((triple4 triple7) -> rule1)) -> rule2))]