Anne is nice. Anne is young. Bob is kind. Charlie is cold. Harry is blue. Harry is cold. Harry is nice. All kind things are furry. Cold things are blue. If Bob is nice then Bob is smart. If something is kind and furry then it is nice. All smart, young things are cold. If Anne is furry and Anne is kind then Anne is smart. If something is young then it is kind. If Anne is cold and Anne is not kind then Anne is not blue.
Harry is not blue.