The bald eagle is cold. The bald eagle is rough. The bald eagle is young. The bald eagle likes the tiger. The bald eagle needs the tiger. The bald eagle sees the tiger. The tiger is cold. The tiger is rough. The tiger is young. The tiger likes the bald eagle. The tiger needs the bald eagle. The tiger sees the bald eagle. If something sees the tiger and the tiger likes the bald eagle then it likes the bald eagle.
The bald eagle does not need the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle needs the tiger.[(triple5)] The bald eagle sees the tiger.[(triple6)] The tiger is cold.[(triple7)] The tiger is rough.[(triple8)] The tiger is young.[(triple9)] The tiger likes the bald eagle.[(triple10)] The tiger needs the bald eagle.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The bald eagle likes the bald eagle.[(((triple6 triple10) -> rule1))]