The bear chases the cow. The bear eats the mouse. The cow chases the bear. The cow chases the rabbit. The cow eats the bear. The cow eats the mouse. The cow does not see the bear. The cow sees the mouse. The mouse chases the rabbit. The mouse eats the cow. The mouse does not eat the rabbit. The rabbit does not chase the bear. The rabbit chases the cow. The rabbit sees the bear. The rabbit sees the cow. If something chases the bear then it eats the mouse.
The cow does not chase the bear.
@0: The bear chases the cow.[(triple1)] The bear eats the mouse.[(triple2)] The cow chases the bear.[(triple3)] The cow chases the rabbit.[(triple4)] The cow does not see the bear.[(triple7)] The cow eats the bear.[(triple5)] The cow eats the mouse.[(triple6 OR ((triple3) -> rule1))] The cow sees the mouse.[(triple8)] The mouse chases the rabbit.[(triple9)] The mouse does not eat the rabbit.[(triple11)] The mouse eats the cow.[(triple10)] The rabbit chases the cow.[(triple13)] The rabbit does not chase the bear.[(triple12)] The rabbit sees the bear.[(triple14)] The rabbit sees the cow.[(triple15)]