The bald eagle eats the lion. The bald eagle does not eat the tiger. The bald eagle is rough. The bald eagle sees the lion. The lion is blue. The lion is rough. The lion is round. The lion needs the bald eagle. The lion needs the tiger. The lion sees the tiger. The tiger eats the lion. The tiger is round. The tiger needs the bald eagle. The tiger needs the lion. The tiger sees the lion. If the lion is not big then the lion is round. If someone sees the bald eagle then they do not need the tiger. If someone sees the bald eagle and the bald eagle sees the tiger then they do not need the bald eagle. If someone sees the tiger and the tiger does not see the bald eagle then the tiger does not eat the bald eagle. If someone is red and they do not eat the tiger then the tiger eats the lion. If someone eats the tiger then they are not rough. If the lion needs the bald eagle then the bald eagle needs the lion. If someone is round and big then they eat the lion.
The bald eagle is rough.
@0: The bald eagle does not eat the tiger.[(triple2)] The bald eagle eats the lion.[(triple1)] The bald eagle is rough.[(triple3)] The bald eagle sees the lion.[(triple4)] The lion is blue.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7)] The lion needs the bald eagle.[(triple8)] The lion needs the tiger.[(triple9)] The lion sees the tiger.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is round.[(triple12)] The tiger needs the bald eagle.[(triple13)] The tiger needs the lion.[(triple14)] The tiger sees the lion.[(triple15)] @1: The bald eagle needs the lion.[(((triple8) -> rule7))]