The bald eagle is blue. All red things are blue. Young things are blue. Blue things are green.
The bald eagle is not blue.
@0: The bald eagle is blue.[(triple1)] @1: The bald eagle is green.[(((triple1) -> rule3))]