Charlie is green. Erin is blue. Gary is green. If someone is blue and not cold then they are round.
Gary is not round.
@0: Charlie is green.[(triple1)] Erin is blue.[(triple2)] Gary is green.[(triple3)]