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