Charlie is blue. Dave is not round. Erin is young. Gary is green. All round, young people are blue. If Dave is young and Dave is not green then Dave is red.
Erin is not blue.
@0: Charlie is blue.[(triple1)] Dave is not round.[(triple2)] Erin is young.[(triple3)] Gary is green.[(triple4)]