Anne is blue. Anne is quiet. Charlie is kind. Fiona is cold. Fiona is smart. Gary is cold. Gary is kind. Gary is quiet. Gary is smart. Gary is white. All cold things are kind. If Gary is quiet and Gary is cold then Gary is white.
Charlie is blue.