The bear does not chase the cow. The bear does not eat the cow. The bear is kind. The bear is nice. The bear sees the cow. The cow chases the bear. The cow eats the bear. The cow is kind. The cow is not nice. The cow sees the bear. If someone eats the cow then they do not chase the bear. If someone eats the bear and they chase the bear then they are not round.
The bear is not nice.
@0: The bear does not chase the cow.[(triple1)] The bear does not eat the cow.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear sees the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow eats the bear.[(triple7)] The cow is kind.[(triple8)] The cow is not nice.[(triple9)] The cow sees the bear.[(triple10)] @1: The cow is not round.[(((triple7 triple6) -> rule2))]