Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is smart. Anne is white. Charlie is furry. Charlie is red. Charlie is round. Charlie is white. Harry is cold. Harry is nice. Harry is round. Harry is smart. Harry is white. If someone is nice and furry then they are cold. All smart, round people are red. If Harry is red then Harry is round. Cold people are smart. All smart people are red. If Charlie is red and Charlie is furry then Charlie is smart.
Harry is not cold.