The bear chases the cow. The bear eats the cow. The bear is big. The bear is cold. The bear is young. The bear visits the cow. The cow chases the bear. The cow eats the bear. The cow is cold. The cow is green. The cow is nice. The cow visits the bear. If the bear is not young then the bear eats the cow. If someone is green then they chase the bear. If the cow chases the bear and the bear does not chase the cow then the cow eats the bear. If someone is green and not cold then they are not big. If the bear does not eat the cow then the bear visits the cow. If someone visits the cow then they do not visit the bear. If someone visits the bear then the bear is not nice. If someone is green and they do not eat the bear then the bear is nice.
The bear does not chase the bear.
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2)] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is young.[(triple5)] The bear visits the cow.[(triple6)] The cow chases the bear.[(triple7 OR ((triple10) -> rule2))] The cow eats the bear.[(triple8)] The cow is cold.[(triple9)] The cow is green.[(triple10)] The cow is nice.[(triple11)] The cow visits the bear.[(triple12)] @1: The bear does not visit the bear.[(((triple6) -> rule6))] The bear is not nice.[(((triple12) -> rule7))]