四十、“雪人被偷走了”·“这真是奇妙的逻辑” ——必要条件假言推理