The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is young. If something is cold then it is green. If something is cold and nice then it is young. Cold things are young.
The bald eagle is green.
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3 OR ((triple2) -> rule1))] The bald eagle is nice.[(triple4)] The bald eagle is young.[(triple5 OR ((triple2) -> rule3) OR ((triple2 triple4) -> rule2))]