The bald eagle is green. The bald eagle likes the tiger. The bald eagle needs the bear. The bear is cold. The bear is green. The bear sees the tiger. The tiger is not blue. The tiger is cold. The tiger is red. The tiger sees the bear. If something is red then it does not like the bald eagle. If something is blue and not cold then it needs the bear. If the bald eagle needs the tiger then the bald eagle does not see the bear.
The bear does not like the bear.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear sees the tiger.[(triple6)] The tiger is cold.[(triple8)] The tiger is not blue.[(triple7)] The tiger is red.[(triple9)] The tiger sees the bear.[(triple10)] @1: The tiger does not like the bald eagle.[(((triple9) -> rule1))]