The bald eagle eats the bear. The bald eagle eats the tiger. The bald eagle is young. The bear is round. The bear likes the bald eagle. The cow visits the bald eagle. The tiger eats the cow. If someone is round then they visit the cow. If someone eats the bear and they like the bear then they are young. If the bald eagle is young then the bald eagle eats the tiger.
The bald eagle does not eat the tiger.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the tiger.[(triple2 OR ((triple3) -> rule3))] The bald eagle is young.[(triple3)] The bear is round.[(triple4)] The bear likes the bald eagle.[(triple5)] The cow visits the bald eagle.[(triple6)] The tiger eats the cow.[(triple7)] @1: The bear visits the cow.[(((triple4) -> rule1))]