The bear eats the cow. The bear is big. The bear is not kind. The bear is rough. The bear is round. The bear is young. The bear likes the cow. The bear sees the cow. The cow eats the bear. The cow is kind. The cow is rough. The cow is round. The cow is not young. The cow likes the bear. The cow sees the bear. If the bear likes the cow and the bear sees the cow then the bear is rough. If something is young and it sees the cow then the cow eats the bear.
The bear does not see the cow.
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is not kind.[(triple3)] The bear is rough.[(triple4 OR ((triple7 triple8) -> rule1))] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear likes the cow.[(triple7)] The bear sees the cow.[(triple8)] The cow eats the bear.[(triple9 OR ((triple6 triple8) -> rule2))] The cow is kind.[(triple10)] The cow is not young.[(triple13)] The cow is rough.[(triple11)] The cow is round.[(triple12)] The cow likes the bear.[(triple14)] The cow sees the bear.[(triple15)]