Charlie is blue. Dave is blue. Gary is green. All furry, green people are red. All furry people are red. All round people are blue. All quiet people are furry. All blue, quiet people are young. If someone is blue and green then they are red.
Gary is round.
@0: Charlie is blue.[(triple1)] Dave is blue.[(triple2)] Gary is green.[(triple3)]