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