The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is big. The bald eagle is blue. The bald eagle is nice. The bald eagle is round. The bald eagle is young. The bald eagle likes the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is big. The lion is blue. The lion is nice. The lion is round. The lion likes the bald eagle. If someone likes the lion then they chase the bald eagle. If someone eats the bald eagle and the bald eagle is nice then they are blue. If someone eats the lion then the lion is blue.
The lion is not young.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle is young.[(triple7)] The bald eagle likes the lion.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion is big.[(triple11)] The lion is blue.[(triple12 OR ((triple2) -> rule3) OR ((triple10 triple5) -> rule2))] The lion is nice.[(triple13)] The lion is round.[(triple14)] The lion likes the bald eagle.[(triple15)] @1: The bald eagle chases the bald eagle.[(((triple8) -> rule1))]