Anne is round. Bob is cold. Harry is not rough. If something is round and cold then it is big. If Anne is round and Anne is not cold then Anne is blue. Round, blue things are nice. If Anne is nice and Anne is not white then Anne is not cold. Cold, big things are rough. If something is rough and not cold then it is nice. All blue, white things are round. If Harry is nice and Harry is not round then Harry is blue.
Bob is cold.