Bob is green. Gary is young. Harry is blue. All blue, green people are young. White people are blue. If someone is green and young then they are white.
Harry is not blue.
@0: Bob is green.[(triple1)] Gary is young.[(triple2)] Harry is blue.[(triple3)]