The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle sees the lion. The bald eagle sees the tiger. The lion eats the tiger. The lion sees the bald eagle. The tiger chases the bald eagle. The tiger chases the lion. The tiger eats the bald eagle. The tiger is red. The tiger is young. The tiger sees the bald eagle. If someone eats the tiger and they chase the tiger then they eat the bald eagle. If the tiger is cold then the tiger is red. If someone eats the bald eagle then they are young. If someone sees the bald eagle then they chase the bald eagle. If someone eats the lion then the lion sees the bald eagle. If the bald eagle is red then the bald eagle sees the lion. If someone sees the lion then the lion is cold. If someone sees the bald eagle and they are round then the bald eagle eats the tiger.
The tiger is not young.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The bald eagle sees the tiger.[(triple4)] The lion eats the tiger.[(triple5)] The lion sees the bald eagle.[(triple6 OR ((triple2) -> rule5))] The tiger chases the bald eagle.[(triple7 OR ((triple12) -> rule4))] The tiger chases the lion.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger is red.[(triple10)] The tiger is young.[(triple11 OR ((triple9) -> rule3))] The tiger sees the bald eagle.[(triple12)] @1: The lion chases the bald eagle.[(((triple6) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] The lion is cold.[(((triple3) -> rule7))]