The bald eagle eats the bear. The bear eats the cow. The cow eats the lion. The lion eats the cow. If someone is big then they see the lion. If someone sees the lion then they are round. If someone eats the bear then they are big. If someone sees the cow then the cow does not like the bald eagle. If someone eats the bear then the bear sees the bald eagle. If someone sees the bear then the bear is round. If someone is cold then they like the lion. If someone sees the cow and they do not like the bald eagle then the cow does not see the bald eagle.
The bald eagle does not eat the lion.
@0: The bald eagle eats the bear.[(triple1)] The bear eats the cow.[(triple2)] The cow eats the lion.[(triple3)] The lion eats the cow.[(triple4)] @1: The bald eagle is big.[(((triple1) -> rule3))] The bear sees the bald eagle.[(((triple1) -> rule5))] @2: The bald eagle sees the lion.[(((((triple1) -> rule3)) -> rule1))] @3: The bald eagle is round.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]