The bald eagle sees the tiger. The mouse is not blue. The tiger is round. Round things are blue.
The tiger is blue.
@0: The bald eagle sees the tiger.[(triple1)] The mouse is not blue.[(triple2)] The tiger is round.[(triple3)] @1: The tiger is blue.[(((triple3) -> rule1))]