The bald eagle is blue. The bald eagle is cold. The bald eagle is green. All red, cold things are blue. Green, cold things are blue.
The bald eagle is cold.
@0: The bald eagle is blue.[(triple1 OR ((triple3 triple2) -> rule2))] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)]