Dave is red. Erin is young. Fiona is nice. Gary is not young. If something is smart and young then it is cold. If something is young and not red then it is cold. All smart things are not young. If Erin is red and Erin is not young then Erin is not rough. If something is smart and not red then it is rough. If something is nice and not smart then it is rough. If something is cold and not young then it is rough. Smart, red things are rough.
Gary is young.
@0: Dave is red.[(triple1)] Erin is young.[(triple2)] Fiona is nice.[(triple3)] Gary is not young.[(triple4)]