The bear eats the cow. The bear is big. The bear is cold. The bear is kind. The bear is rough. The bear is round. The bear needs the cow. The bear sees the cow. The cow is round. The cow needs the bear. If something needs the cow and the cow sees the bear then the bear sees the cow. If the bear eats the cow and the bear is kind then the bear needs the cow. If the cow needs the bear then the cow eats the bear.
The bear sees the cow.
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear needs the cow.[(triple7 OR ((triple1 triple4) -> rule2))] The bear sees the cow.[(triple8)] The cow is round.[(triple9)] The cow needs the bear.[(triple10)] @1: The cow eats the bear.[(((triple10) -> rule3))]