Charlie is cold. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Gary is cold. Gary is kind. Gary is quiet. Gary is smart. Harry is smart. If Gary is quiet then Gary is smart. All smart people are cold. Quiet people are round.
Gary is not round.