The bald eagle does not visit the dog. The dog is red. The dog is not round. The dog needs the squirrel. The dog sees the lion. The dog visits the bald eagle. The dog does not visit the squirrel. The lion sees the bald eagle. The squirrel visits the bald eagle. The squirrel visits the lion. If something visits the bald eagle then the bald eagle visits the lion. If something sees the lion then it needs the bald eagle. If the squirrel sees the bald eagle and the bald eagle is blue then the squirrel is not blue. If something sees the bald eagle and it visits the lion then the bald eagle does not need the lion. If something visits the dog then it sees the dog. If something needs the squirrel then the squirrel visits the dog. If something visits the lion then it is not red. If something sees the dog then it needs the squirrel.
The lion sees the bald eagle.
@0: The bald eagle does not visit the dog.[(triple1)] The dog does not visit the squirrel.[(triple7)] The dog is not round.[(triple3)] The dog is red.[(triple2)] The dog needs the squirrel.[(triple4)] The dog sees the lion.[(triple5)] The dog visits the bald eagle.[(triple6)] The lion sees the bald eagle.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The squirrel visits the lion.[(triple10)] @1: The bald eagle visits the lion.[(((triple6) -> rule1) OR ((triple9) -> rule1))] The dog needs the bald eagle.[(((triple5) -> rule2))] The squirrel is not red.[(((triple10) -> rule7))] The squirrel visits the dog.[(((triple4) -> rule6))] @2: The bald eagle is not red.[(((((triple6) -> rule1)) -> rule7) OR ((((triple9) -> rule1)) -> rule7))] The squirrel sees the dog.[(((((triple4) -> rule6)) -> rule5))] @3: The squirrel needs the squirrel.[(((((((triple4) -> rule6)) -> rule5)) -> rule8))]