Anne is white. Dave is white. Gary is green. If something is blue and white then it is green. All young, blue things are white.
Dave is white.
@0: Anne is white.[(triple1)] Dave is white.[(triple2)] Gary is green.[(triple3)]