Dave is blue. Fiona is nice. Gary is green. Cold, nice things are blue. Cold, young things are round. All rough, young things are blue. Blue, nice things are cold. If Gary is nice and Gary is green then Gary is round. If Gary is cold and Gary is blue then Gary is green. If Dave is young and Dave is nice then Dave is rough. If Gary is nice and Gary is cold then Gary is young.
Fiona is not nice.
@0: Dave is blue.[(triple1)] Fiona is nice.[(triple2)] Gary is green.[(triple3)]