The bald eagle is cold. The bald eagle is nice. The bald eagle does not see the tiger. The bear is cold. The tiger is green. The tiger does not need the bear. The tiger does not see the bald eagle. If something needs the bear and it eats the bald eagle then the bear is red. If something eats the bald eagle and the bald eagle eats the tiger then the tiger does not need the bald eagle. If the tiger sees the bear then the tiger sees the bald eagle. If something needs the tiger and it sees the tiger then the tiger sees the bear. If the bear is cold then the bear needs the bald eagle. If something needs the tiger then it is green.
The bald eagle is cold.
@0: The bald eagle does not see the tiger.[(triple3)] The bald eagle is cold.[(triple1)] The bald eagle is nice.[(triple2)] The bear is cold.[(triple4)] The tiger does not need the bear.[(triple6)] The tiger does not see the bald eagle.[(triple7)] The tiger is green.[(triple5)] @1: The bear needs the bald eagle.[(((triple4) -> rule5))]