The bald eagle does not visit the dog. The dog visits the lion. The lion is kind. If something sees the dog then the dog sees the lion. If something is rough then it needs the bald eagle. If something is rough then it sees the lion. If something sees the lion then it needs the dog. If something visits the lion then it sees the dog. If something is big then it does not see the bald eagle.
The dog does not see the lion.
@0: The bald eagle does not visit the dog.[(triple1)] The dog visits the lion.[(triple2)] The lion is kind.[(triple3)] @1: The dog sees the dog.[(((triple2) -> rule5))] @2: The dog sees the lion.[(((((triple2) -> rule5)) -> rule1))] @3: The dog needs the dog.[(((((((triple2) -> rule5)) -> rule1)) -> rule4))]