Anne is not cold. Anne is kind. Anne is smart. Anne is white. Charlie is cold. Charlie is not kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Gary is cold. Gary is nice. Gary is round. Gary is not white. If something is smart and not round then it is red. All cold things are nice. If something is smart and red then it is white. If something is white and not red then it is smart. If something is not white then it is kind. If something is not smart then it is nice.
Charlie is not red.