The bald eagle likes the bear. The bear sees the bald eagle. The tiger is not green. If something needs the bald eagle and it is green then the bald eagle needs the tiger. Kind things are cold. All blue things are cold. If something is red and it does not like the tiger then the tiger does not see the bald eagle. If something likes the bear then the bear is green. If something needs the bald eagle and the bald eagle needs the bear then the bald eagle is not green. If something needs the tiger and the tiger sees the bald eagle then it is green. If something sees the bald eagle then the bald eagle likes the bear.
The tiger needs the tiger.
@0: The bald eagle likes the bear.[(triple1 OR ((triple2) -> rule8))] The bear sees the bald eagle.[(triple2)] The tiger is not green.[(triple3)] @1: The bear is green.[(((triple1) -> rule5) OR ((((triple2) -> rule8)) -> rule5))]