The bald eagle eats the dog. The bald eagle does not see the dog. The bald eagle does not visit the tiger. The dog eats the tiger. The dog is cold. The dog sees the bald eagle. The dog sees the tiger. The dog visits the bald eagle. The tiger eats the bald eagle. The tiger eats the dog. The tiger is cold. The tiger is young. The tiger does not see the bald eagle. The tiger sees the dog. The tiger visits the bald eagle. The tiger does not visit the dog. If someone sees the dog then the dog is not red. If the tiger visits the dog then the tiger sees the bald eagle.
The tiger eats the tiger.
@0: The bald eagle does not see the dog.[(triple2)] The bald eagle does not visit the tiger.[(triple3)] The bald eagle eats the dog.[(triple1)] The dog eats the tiger.[(triple4)] The dog is cold.[(triple5)] The dog sees the bald eagle.[(triple6)] The dog sees the tiger.[(triple7)] The dog visits the bald eagle.[(triple8)] The tiger does not see the bald eagle.[(triple13)] The tiger does not visit the dog.[(triple16)] The tiger eats the bald eagle.[(triple9)] The tiger eats the dog.[(triple10)] The tiger is cold.[(triple11)] The tiger is young.[(triple12)] The tiger sees the dog.[(triple14)] The tiger visits the bald eagle.[(triple15)] @1: The dog is not red.[(((triple14) -> rule1))]