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