The bear chases the cow. The bear eats the cat. The bear does not eat the cow. The bear is big. The bear is not red. The bear is rough. The bear sees the cow. The cat is not green. The cat sees the cow. The cow chases the cat. The cow eats the cat. The cow does not see the cat. If someone eats the cow and the cow sees the bear then the bear chases the cat. If someone sees the cow and the cow eats the cat then the cow is rough. If someone eats the cow and they chase the cat then the cow chases the bear. If the cow is big and the cow does not see the cat then the cow does not eat the bear. If someone sees the cat then they do not eat the cat. If someone sees the bear and they chase the bear then they do not chase the cow.
The cow chases the cow.
@0: The bear chases the cow.[(triple1)] The bear does not eat the cow.[(triple3)] The bear eats the cat.[(triple2)] The bear is big.[(triple4)] The bear is not red.[(triple5)] The bear is rough.[(triple6)] The bear sees the cow.[(triple7)] The cat is not green.[(triple8)] The cat sees the cow.[(triple9)] The cow chases the cat.[(triple10)] The cow does not see the cat.[(triple12)] The cow eats the cat.[(triple11)] @1: The cow is rough.[(((triple7 triple11) -> rule2) OR ((triple9 triple11) -> rule2))]