The bald eagle eats the lion. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle likes the lion. The bald eagle visits the lion. The lion eats the bald eagle. The lion is blue. The lion is cold. The lion is green. The lion is kind. The lion is red. The lion likes the bald eagle. The lion visits the bald eagle. If something is green and it eats the lion then the lion likes the bald eagle. If the lion is red and the lion visits the bald eagle then the lion likes the bald eagle. If something likes the lion then it likes the bald eagle. If the bald eagle eats the lion and the bald eagle visits the lion then the bald eagle likes the lion. If something visits the bald eagle and the bald eagle eats the lion then the lion eats the bald eagle. If the lion is green and the lion visits the bald eagle then the lion eats the bald eagle. If something visits the lion then the lion is blue. If the bald eagle eats the lion then the lion likes the bald eagle.
The bald eagle is not kind.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle likes the lion.[(triple6 OR ((triple1 triple7) -> rule4))] The bald eagle visits the lion.[(triple7)] The lion eats the bald eagle.[(triple8 OR ((triple11 triple15) -> rule6) OR ((triple15 triple1) -> rule5))] The lion is blue.[(triple9 OR ((triple7) -> rule7))] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is kind.[(triple12)] The lion is red.[(triple13)] The lion likes the bald eagle.[(triple14 OR ((triple1) -> rule8) OR ((triple13 triple15) -> rule2) OR ((triple4 triple1) -> rule1))] The lion visits the bald eagle.[(triple15)] @1: The bald eagle likes the bald eagle.[(((triple6) -> rule3) OR ((((triple1 triple7) -> rule4)) -> rule3))]