Anne is blue. Anne is cold. Charlie is red. Charlie is smart. Charlie is white. Dave is blue. Gary is white. If something is white then it is rough. All smart things are round. All smart, round things are rough. All blue things are rough. If something is smart and rough then it is not blue. If Gary is not rough then Gary is not white.
Charlie is round.