The bald eagle chases the cow. The bald eagle eats the cow. The bear eats the bald eagle. The bear is green. The cow chases the bear. The cow sees the bald eagle. The cow sees the bear. If someone sees the cow and they are not green then the cow is young. If the cow eats the bald eagle then the cow is not young. If someone chases the cow then the cow is not nice. If someone eats the bear then the bear chases the cow. If someone chases the cow then they eat the bear. If someone is red then they chase the bear.
The cow is young.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the cow.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear is green.[(triple4)] The cow chases the bear.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow sees the bear.[(triple7)] @1: The bald eagle eats the bear.[(((triple1) -> rule5))] The cow is not nice.[(((triple1) -> rule3) OR ((((((triple1) -> rule5)) -> rule4)) -> rule3))] @2: The bear chases the cow.[(((((triple1) -> rule5)) -> rule4))] @3: The bear eats the bear.[(((((((triple1) -> rule5)) -> rule4)) -> rule5))]