The bald eagle chases the lion. The bald eagle is blue. The bald eagle is rough. The bald eagle needs the lion. The bald eagle visits the lion. The lion chases the bald eagle. The lion is blue. The lion is green. The lion is rough. The lion is round. The lion needs the bald eagle. The lion visits the bald eagle. If someone is blue then they visit the bald eagle. If the lion needs the bald eagle and the lion visits the bald eagle then the bald eagle needs the lion. If someone visits the lion then the lion chases the bald eagle.
The lion does not need the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the lion.[(triple4 OR ((triple11 triple12) -> rule2) OR ((triple11 ((triple7) -> rule1)) -> rule2))] The bald eagle visits the lion.[(triple5)] The lion chases the bald eagle.[(triple6 OR ((triple5) -> rule3))] The lion is blue.[(triple7)] The lion is green.[(triple8)] The lion is rough.[(triple9)] The lion is round.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion visits the bald eagle.[(triple12 OR ((triple7) -> rule1))] @1: The bald eagle visits the bald eagle.[(((triple2) -> rule1))]