The bald eagle does not see the dog. The cat chases the bald eagle. The cat chases the dog. The cat is big. The cat sees the bald eagle. The cat does not see the lion. The dog sees the lion. The dog visits the lion. The lion does not chase the dog. The lion is big. The lion is not red. The lion sees the dog. If the cat sees the bald eagle and the bald eagle sees the cat then the bald eagle is not big. If the bald eagle visits the dog then the bald eagle visits the lion. If something is green and it visits the bald eagle then the bald eagle does not visit the lion. If the bald eagle does not see the dog then the bald eagle visits the dog. If something is young and it chases the lion then it does not chase the bald eagle. If something visits the lion then the lion visits the cat. If the cat is kind and the cat is not big then the cat sees the lion. If something visits the lion and the lion visits the cat then it sees the bald eagle.
The cat does not see the bald eagle.
@0: The bald eagle does not see the dog.[(triple1)] The cat chases the bald eagle.[(triple2)] The cat chases the dog.[(triple3)] The cat does not see the lion.[(triple6)] The cat is big.[(triple4)] The cat sees the bald eagle.[(triple5)] The dog sees the lion.[(triple7)] The dog visits the lion.[(triple8)] The lion does not chase the dog.[(triple9)] The lion is big.[(triple10)] The lion is not red.[(triple11)] The lion sees the dog.[(triple12)] @1: The bald eagle visits the dog.[(((triple1) -> rule4))] The lion visits the cat.[(((triple8) -> rule6) OR ((((((triple1) -> rule4)) -> rule2)) -> rule6))] @2: The bald eagle visits the lion.[(((((triple1) -> rule4)) -> rule2))] The dog sees the bald eagle.[(((triple8 ((triple8) -> rule6)) -> rule8) OR ((triple8 ((((((triple1) -> rule4)) -> rule2)) -> rule6)) -> rule8))] @3: The bald eagle sees the bald eagle.[(((((((triple1) -> rule4)) -> rule2) ((triple8) -> rule6)) -> rule8) OR ((((((triple1) -> rule4)) -> rule2) ((((((triple1) -> rule4)) -> rule2)) -> rule6)) -> rule8))]