Erin is quiet. Erin is not red. Fiona is smart. Gary is not red. Gary is smart. Gary is not white. Gary is young. If something is blue and not rough then it is white. Smart, quiet things are red. All blue, red things are smart.
Gary is white.
@0: Erin is not red.[(triple2)] Erin is quiet.[(triple1)] Fiona is smart.[(triple3)] Gary is not red.[(triple4)] Gary is not white.[(triple6)] Gary is smart.[(triple5)] Gary is young.[(triple7)]