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