Fiona is blue. Fiona is cold. Fiona is not rough. Fiona is smart. Gary is not blue. Gary is cold. Gary is quiet. Gary is rough. Gary is smart. Gary is white. If Gary is smart and Gary is not red then Gary is white. All smart things are quiet. All quiet, rough things are smart. If something is not white then it is smart. If Fiona is rough and Fiona is not smart then Fiona is not red. If something is not smart then it is not red.
Fiona is red.