The bald eagle is blue. The bald eagle is not kind. The bald eagle likes the tiger. The bald eagle sees the tiger. The bald eagle does not visit the tiger. The tiger is cold. The tiger is young. The tiger likes the bald eagle. The tiger sees the bald eagle. The tiger visits the bald eagle. If someone is blue and they visit the tiger then they are cold. If someone sees the bald eagle and the bald eagle visits the tiger then the bald eagle sees the tiger. If someone visits the tiger and the tiger sees the bald eagle then they see the tiger. If someone is kind then they visit the bald eagle. If someone likes the tiger and the tiger visits the bald eagle then they like the bald eagle. If someone likes the bald eagle and the bald eagle does not see the tiger then the bald eagle likes the tiger.
The bald eagle does not like the bald eagle.
@0: The bald eagle does not visit the tiger.[(triple5)] The bald eagle is blue.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the tiger.[(triple4)] The tiger is cold.[(triple6)] The tiger is young.[(triple7)] The tiger likes the bald eagle.[(triple8)] The tiger sees the bald eagle.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle likes the bald eagle.[(((triple3 triple10) -> rule5))]