Anne is furry. Harry is smart. If something is smart and blue then it is big. Kind, cold things are nice. If something is nice and not kind then it is cold. If Harry is not blue then Harry is not kind. If something is blue and not smart then it is not big. If something is not big then it is furry.
Harry is not big.