The bald eagle is not kind. The bald eagle is not red. The bald eagle is not young. The bald eagle likes the cat. The bald eagle likes the tiger. The bald eagle does not see the tiger. The bald eagle does not visit the tiger. The cat is cold. The cat is red. The cat sees the bald eagle. The cat sees the tiger. The tiger likes the bald eagle. If something sees the tiger and the tiger sees the bald eagle then it likes the bald eagle. If something likes the bald eagle and the bald eagle likes the cat then it does not visit the tiger. If something likes the cat and the cat likes the bald eagle then it does not visit the cat. If the cat does not see the tiger then the tiger is not nice. If something visits the bald eagle then it is kind. If something visits the cat then it visits the bald eagle.
The tiger visits the bald eagle.
@0: The bald eagle does not see the tiger.[(triple6)] The bald eagle does not visit the tiger.[(triple7)] The bald eagle is not kind.[(triple1)] The bald eagle is not red.[(triple2)] The bald eagle is not young.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle likes the tiger.[(triple5)] The cat is cold.[(triple8)] The cat is red.[(triple9)] The cat sees the bald eagle.[(triple10)] The cat sees the tiger.[(triple11)] The tiger likes the bald eagle.[(triple12)] @1: The tiger does not visit the tiger.[(((triple12 triple4) -> rule2))]