The bald eagle is round. The bald eagle is young. The lion is big. The lion sees the bald eagle. The tiger does not chase the bald eagle. The tiger is young. The tiger sees the lion. If someone sees the lion and they chase the lion then they are round. If someone sees the tiger and the tiger is big then the tiger does not see the lion. If someone chases the lion and the lion is big then the lion eats the bald eagle. If someone eats the lion then they are kind. If someone sees the bald eagle then the bald eagle does not chase the tiger. If the bald eagle chases the lion and the bald eagle is not round then the bald eagle eats the tiger.
The tiger is not young.
@0: The bald eagle is round.[(triple1)] The bald eagle is young.[(triple2)] The lion is big.[(triple3)] The lion sees the bald eagle.[(triple4)] The tiger does not chase the bald eagle.[(triple5)] The tiger is young.[(triple6)] The tiger sees the lion.[(triple7)] @1: The bald eagle does not chase the tiger.[(((triple4) -> rule5))]