The bald eagle is young. The tiger is cold. The tiger is green. If something likes the tiger and it chases the bald eagle then the bald eagle likes the tiger. If something is green then it likes the bald eagle. If something needs the bald eagle then the bald eagle likes the tiger. If something needs the bald eagle then it likes the bald eagle. If something is cold then it needs the bald eagle. If something is kind then it likes the bald eagle.
The bald eagle is not cold.
@0: The bald eagle is young.[(triple1)] The tiger is cold.[(triple2)] The tiger is green.[(triple3)] @1: The tiger likes the bald eagle.[(((triple3) -> rule2) OR ((((triple2) -> rule5)) -> rule4))] The tiger needs the bald eagle.[(((triple2) -> rule5))] @2: The bald eagle likes the tiger.[(((((triple2) -> rule5)) -> rule3))]