The bald eagle chases the lion. The bald eagle is green. The bald eagle is round. The bald eagle visits the lion. The lion chases the bald eagle. The lion is cold. The lion is green. The lion is young. The lion does not need the bald eagle. The lion visits the bald eagle. If the lion needs the bald eagle and the lion chases the bald eagle then the bald eagle is kind. If someone chases the lion and they are kind then they need the bald eagle. If someone visits the bald eagle and they are green then they do not need the bald eagle. If someone visits the bald eagle and the bald eagle chases the lion then the bald eagle is cold. If the bald eagle needs the lion and the bald eagle does not chase the lion then the bald eagle visits the lion. If someone chases the lion then they chase the bald eagle.
The bald eagle is not kind.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle visits the lion.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion does not need the bald eagle.[(triple9 OR ((triple10 triple7) -> rule3))] The lion is cold.[(triple6)] The lion is green.[(triple7)] The lion is young.[(triple8)] The lion visits the bald eagle.[(triple10)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule6))] The bald eagle is cold.[(((triple10 triple1) -> rule4))]