Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Charlie is young. If something is white and cold then it is red. All nice things are cold. Red things are white. All round, nice things are red. If Charlie is kind then Charlie is red. All nice, kind things are cold. All young, cold things are red. If something is nice then it is young.
Charlie is not red.