Dave is red. Erin is cold. Gary is young. Harry is not red. All nice, red things are cold. If something is white and not nice then it is not blue. Red, white things are blue. Blue things are not young. If Erin is green then Erin is red. If Harry is young and Harry is nice then Harry is red.
Erin is not blue.
@0: Dave is red.[(triple1)] Erin is cold.[(triple2)] Gary is young.[(triple3)] Harry is not red.[(triple4)]