The bald eagle likes the tiger. The tiger is red. The tiger likes the bald eagle. If the tiger likes the bald eagle then the bald eagle is kind.
The tiger is green.
@0: The bald eagle likes the tiger.[(triple1)] The tiger is red.[(triple2)] The tiger likes the bald eagle.[(triple3)] @1: The bald eagle is kind.[(((triple3) -> rule1))]