Anne is cold. Charlie is blue. Dave is green. All nice, white things are cold. Cold things are nice. Blue, nice things are kind. If something is kind then it is white. If Anne is nice and Anne is cold then Anne is kind. All blue, nice things are white.
Anne is not nice.