The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle is not big. The bald eagle is round. The bald eagle is young. The bald eagle needs the lion. The bald eagle needs the rabbit. The bald eagle visits the lion. The lion is round. The lion needs the bald eagle. The lion needs the rabbit. The lion visits the rabbit. The rabbit does not chase the bald eagle. The rabbit chases the lion. The rabbit is not blue. The rabbit visits the bald eagle. If someone visits the rabbit then they are not red. If someone chases the bald eagle and they are red then the bald eagle visits the rabbit. If someone needs the bald eagle then the bald eagle visits the rabbit. If the bald eagle is blue then the bald eagle visits the rabbit. If someone needs the rabbit then they need the bald eagle. If someone needs the bald eagle then the bald eagle visits the lion. If someone visits the rabbit then the rabbit needs the bald eagle. If someone chases the lion and they are not red then the lion does not visit the bald eagle.
The lion does not need the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is not big.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the lion.[(triple6)] The bald eagle needs the rabbit.[(triple7)] The bald eagle visits the lion.[(triple8 OR ((triple10) -> rule6) OR ((((triple11) -> rule5)) -> rule6) OR ((((triple12) -> rule7)) -> rule6) OR ((((triple7) -> rule5)) -> rule6) OR ((((((triple10) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple11) -> rule5)) -> rule3)) -> rule7)) -> rule6) OR ((((((((triple7) -> rule5)) -> rule3)) -> rule7)) -> rule6))] The lion is round.[(triple9)] The lion needs the bald eagle.[(triple10 OR ((triple11) -> rule5))] The lion needs the rabbit.[(triple11)] The lion visits the rabbit.[(triple12)] The rabbit chases the lion.[(triple14)] The rabbit does not chase the bald eagle.[(triple13)] The rabbit is not blue.[(triple15)] The rabbit visits the bald eagle.[(triple16)] @1: The bald eagle needs the bald eagle.[(((triple7) -> rule5))] The bald eagle visits the rabbit.[(((triple10) -> rule3) OR ((((triple11) -> rule5)) -> rule3) OR ((((triple12) -> rule7)) -> rule3) OR ((((triple7) -> rule5)) -> rule3))] The lion is not red.[(((triple12) -> rule1))] The rabbit needs the bald eagle.[(((triple12) -> rule7) OR ((((triple10) -> rule3)) -> rule7) OR ((((((triple11) -> rule5)) -> rule3)) -> rule7) OR ((((((triple7) -> rule5)) -> rule3)) -> rule7))] @2: The bald eagle is not red.[(((((triple10) -> rule3)) -> rule1) OR ((((((triple11) -> rule5)) -> rule3)) -> rule1) OR ((((((triple12) -> rule7)) -> rule3)) -> rule1) OR ((((((triple7) -> rule5)) -> rule3)) -> rule1))] @3: The lion does not visit the bald eagle.[(((triple1 ((((triple10) -> rule3)) -> rule1)) -> rule8) OR ((triple1 ((((((triple11) -> rule5)) -> rule3)) -> rule1)) -> rule8) OR ((triple1 ((((((triple12) -> rule7)) -> rule3)) -> rule1)) -> rule8) OR ((triple1 ((((((triple7) -> rule5)) -> rule3)) -> rule1)) -> rule8))]