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