解消されていない仮定無しに⊥を結論とする導出図は存在しない