The bear eats the cow. The bear is kind. The bear is rough. The bear sees the cow. The bear does not visit the cow. The cow eats the bear. The cow does not visit the bear. If the cow sees the bear and the bear is not round then the cow is rough. If the bear visits the cow and the cow is big then the cow is rough. If something sees the cow then the cow is big.
The bear visits the cow.
@0: The bear does not visit the cow.[(triple5)] The bear eats the cow.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3)] The bear sees the cow.[(triple4)] The cow does not visit the bear.[(triple7)] The cow eats the bear.[(triple6)] @1: The cow is big.[(((triple4) -> rule3))]