The bald eagle eats the tiger. The rabbit likes the tiger. The tiger likes the bald eagle. If something likes the tiger then the tiger is not blue. If something eats the bald eagle and the bald eagle is blue then the bald eagle is rough.
The tiger chases the bald eagle.
@0: The bald eagle eats the tiger.[(triple1)] The rabbit likes the tiger.[(triple2)] The tiger likes the bald eagle.[(triple3)] @1: The tiger is not blue.[(((triple2) -> rule1))]