The bald eagle eats the cow. The bald eagle is big. The bald eagle sees the bear. The bear eats the bald eagle. The bear eats the cat. The bear eats the cow. The bear is blue. The bear sees the cow. The cat is big. The cat is green. The cat needs the cow. The cow is rough. The cow needs the bear. The cow sees the bald eagle. The cow sees the cat. If someone sees the cat then they need the cow. If someone eats the cat then the cat eats the cow. If someone sees the bear then the bear eats the bald eagle.
The cow is rough.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear eats the bald eagle.[(triple4 OR ((triple3) -> rule3))] The bear eats the cat.[(triple5)] The bear eats the cow.[(triple6)] The bear is blue.[(triple7)] The bear sees the cow.[(triple8)] The cat is big.[(triple9)] The cat is green.[(triple10)] The cat needs the cow.[(triple11)] The cow is rough.[(triple12)] The cow needs the bear.[(triple13)] The cow sees the bald eagle.[(triple14)] The cow sees the cat.[(triple15)] @1: The cat eats the cow.[(((triple5) -> rule2))] The cow needs the cow.[(((triple15) -> rule1))]