Bob is white. Bob is young. Charlie is cold. Charlie is furry. Charlie is rough. Charlie is round. Charlie is smart. Charlie is young. Dave is furry. Gary is rough. Furry, cold things are smart. All cold things are furry. If something is rough then it is round. If something is furry and white then it is not cold. Smart things are not white. If something is smart then it is cold. Round things are cold.
Gary is not round.