Dave is green. Fiona is green. Gary is white. Smart, nice people are young. If someone is nice then they are rough. If Fiona is smart and Fiona is green then Fiona is nice. If Gary is rough and Gary is white then Gary is smart. All white, red people are smart. If someone is smart and red then they are rough.
Gary is not young.
@0: Dave is green.[(triple1)] Fiona is green.[(triple2)] Gary is white.[(triple3)]