The bear eats the cow. The bear is blue. The bear is cold. The bear is kind. The bear is rough. The bear is not young. The bear does not need the cow. The bear sees the cow. The cow eats the bear. The cow is blue. The cow is cold. The cow is kind. The cow is not young. The cow needs the bear. The cow sees the bear. If someone is rough and they do not see the bear then they do not need the cow. If someone eats the bear and they see the cow then they do not need the cow. If someone eats the bear and they need the cow then the bear sees the cow. If someone is cold and they do not eat the bear then the bear eats the cow. If someone eats the bear then they are blue. If the bear is rough and the bear sees the cow then the cow is cold.
The bear eats the cow.
@0: The bear does not need the cow.[(triple7)] The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is not young.[(triple6)] The bear is rough.[(triple5)] The bear sees the cow.[(triple8)] The cow eats the bear.[(triple9)] The cow is blue.[(triple10 OR ((triple9) -> rule5))] The cow is cold.[(triple11 OR ((triple5 triple8) -> rule6))] The cow is kind.[(triple12)] The cow is not young.[(triple13)] The cow needs the bear.[(triple14)] The cow sees the bear.[(triple15)]