Anne is cold. Harry is white. If Harry is not furry then Harry is cold. If something is white then it is big. If Anne is smart and Anne is not white then Anne is blue. Furry, blue things are smart. If something is big then it is round. Cold things are smart. If something is not cold then it is blue. If something is furry and not big then it is smart.
Harry is not big.