Anne is white. Erin is cold. Fiona is rough. Gary is rough. All blue, smart things are round. If something is white and round then it is blue. If Gary is smart and Gary is cold then Gary is quiet.
Anne is not blue.
@0: Anne is white.[(triple1)] Erin is cold.[(triple2)] Fiona is rough.[(triple3)] Gary is rough.[(triple4)]