The bald eagle is kind. The bald eagle is not young. The bald eagle sees the cat. The bald eagle visits the tiger. The cat chases the tiger. The cat is kind. The cat is not red. The cat is young. The cat sees the bald eagle. The dog sees the tiger. The dog does not visit the cat. The tiger chases the cat. The tiger is not young. The tiger sees the cat. The tiger sees the dog. If someone sees the cat then they do not see the bald eagle. If the dog chases the bald eagle then the dog is not kind. If someone visits the tiger and the tiger does not see the cat then the cat is round. If someone is young then they do not visit the cat. If someone sees the bald eagle and they do not visit the cat then the bald eagle chases the dog. If someone chases the dog then they see the tiger.
The tiger does not see the bald eagle.
@0: The bald eagle is kind.[(triple1)] The bald eagle is not young.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cat chases the tiger.[(triple5)] The cat is kind.[(triple6)] The cat is not red.[(triple7)] The cat is young.[(triple8)] The cat sees the bald eagle.[(triple9)] The dog does not visit the cat.[(triple11)] The dog sees the tiger.[(triple10)] The tiger chases the cat.[(triple12)] The tiger is not young.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the dog.[(triple15)] @1: The bald eagle does not see the bald eagle.[(((triple3) -> rule1))] The cat does not visit the cat.[(((triple8) -> rule4))] The tiger does not see the bald eagle.[(((triple14) -> rule1))] @2: The bald eagle chases the dog.[(((triple9 ((triple8) -> rule4)) -> rule5))] @3: The bald eagle sees the tiger.[(((((triple9 ((triple8) -> rule4)) -> rule5)) -> rule6))]