「「もし仮に「易しかまたは横流ししないかまたは両方ともである」ということは嘘であるならば和めるということはない」ものはある」ということは間違いである
fact1: 「「この食道は易しかあるいはそれは横流ししないかまたはどちらもだ」ということは成り立たないならばあの食道は和めない」ということは確かだ
$facts$ = fact1: 「「この食道は易しかあるいはそれは横流ししないかまたはどちらもだ」ということは成り立たないならばあの食道は和めない」ということは確かだ ; $hypothesis$ = 「「もし仮に「易しかまたは横流ししないかまたは両方ともである」ということは嘘であるならば和めるということはない」ものはある」ということは間違いである ; $proof$ = 
事実1: 「「この食道は易しかあるいはそれは横流ししないかまたはどちらもだ」ということは成り立たないならばあの食道は和めない」ということは確かだ

仮説: 「「もし仮に「易しかまたは横流ししないかまたは両方ともである」ということは嘘であるならば和めるということはない」ものはある」ということは間違いである