The bald eagle is green. The bald eagle is red. The tiger is red. If something visits the bald eagle and it is blue then the bald eagle likes the tiger. If something visits the bald eagle and it is red then the bald eagle needs the tiger. If something needs the bald eagle and the bald eagle is red then the bald eagle likes the tiger. If something is green then it needs the bald eagle. If something visits the bald eagle then the bald eagle visits the tiger. If something is blue and it likes the tiger then the tiger likes the bald eagle.
The bald eagle visits the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2)] The tiger is red.[(triple3)] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule4))] @2: The bald eagle likes the tiger.[(((((triple1) -> rule4) triple2) -> rule3))]