The bald eagle eats the lion. The bald eagle is round. The cow chases the lion. The cow eats the bald eagle. The cow is cold. The cow is red. The cow needs the bald eagle. The lion eats the bald eagle. The lion eats the cow. The lion is red. If someone eats the bald eagle then the bald eagle eats the cow.
The bald eagle does not eat the cow.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is round.[(triple2)] The cow chases the lion.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is cold.[(triple5)] The cow is red.[(triple6)] The cow needs the bald eagle.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion eats the cow.[(triple9)] The lion is red.[(triple10)] @1: The bald eagle eats the cow.[(((triple4) -> rule1) OR ((triple8) -> rule1))]