The bald eagle needs the cow. The bald eagle needs the lion. The bald eagle sees the lion. The bald eagle does not visit the cow. The cow is big. The cow is cold. The cow is not rough. The cow sees the lion. The cow visits the bald eagle. The cow visits the lion. The lion is cold. The lion needs the cow. The lion sees the bald eagle. The lion sees the cow. The lion visits the bald eagle. If the cow visits the bald eagle then the bald eagle does not visit the cow. If something needs the bald eagle and the bald eagle does not need the cow then the bald eagle visits the cow. If something sees the lion and the lion is rough then the lion is round. If something visits the bald eagle and it is rough then the bald eagle sees the cow. If something sees the lion and it does not visit the cow then the cow is big. If something sees the cow and it does not visit the cow then the cow is big. If something visits the lion and it is big then the lion needs the cow. If something needs the cow then it visits the lion.
The lion is not round.
@0: The bald eagle does not visit the cow.[(triple4 OR ((triple9) -> rule1))] The bald eagle needs the cow.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The cow is big.[(triple5 OR ((triple3 triple4) -> rule5) OR ((triple3 ((triple9) -> rule1)) -> rule5))] The cow is cold.[(triple6)] The cow is not rough.[(triple7)] The cow sees the lion.[(triple8)] The cow visits the bald eagle.[(triple9)] The cow visits the lion.[(triple10)] The lion is cold.[(triple11)] The lion needs the cow.[(triple12 OR ((triple10 triple5) -> rule7) OR ((triple10 ((triple3 triple4) -> rule5)) -> rule7) OR ((triple10 ((triple3 ((triple9) -> rule1)) -> rule5)) -> rule7))] The lion sees the bald eagle.[(triple13)] The lion sees the cow.[(triple14)] The lion visits the bald eagle.[(triple15)] @1: The bald eagle visits the lion.[(((triple1) -> rule8))] The lion visits the lion.[(((triple12) -> rule8) OR ((((triple10 triple5) -> rule7)) -> rule8) OR ((((triple10 ((triple3 triple4) -> rule5)) -> rule7)) -> rule8) OR ((((triple10 ((triple3 ((triple9) -> rule1)) -> rule5)) -> rule7)) -> rule8))]