The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is big. The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The bald eagle is round. The bald eagle visits the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is cold. The lion is nice. The lion is red. The lion is not round. The lion visits the bald eagle. If something visits the bald eagle and it eats the bald eagle then the bald eagle chases the lion.
The bald eagle is round.
@0: The bald eagle chases the lion.[(triple1 OR ((triple15 triple10) -> rule1))] The bald eagle eats the lion.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is red.[(triple6)] The bald eagle is round.[(triple7)] The bald eagle visits the lion.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion is cold.[(triple11)] The lion is nice.[(triple12)] The lion is not round.[(triple14)] The lion is red.[(triple13)] The lion visits the bald eagle.[(triple15)]