Anne is blue. Anne is cold. Anne is smart. Bob is blue. Bob is furry. Bob is red. Bob is smart. Bob is white. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is white. All red, white things are smart. If Anne is smart then Anne is white. If something is furry then it is kind. If something is white and furry then it is blue. Furry things are blue. If Charlie is smart and Charlie is red then Charlie is cold.
Charlie is not cold.