「「もし仮に縦貫するなら「主幹動脈でないし更に住み難くない」ということは事実と異なる」物はある」ということは誤っている
fact1: もしもその海峡は縦貫すれば「「主幹動脈でないしかつそれは住み難くない」ということは本当である」ということは嘘だ fact2: 「もし灯し難いとしたら「攻撃範囲でないし奮い起こさない」ということは間違いな」物はある fact3: もしもその海峡が縦貫するとしたら主幹動脈でないしそれは住み難くない fact4: もしその海峡は縦貫するとすれば「それは主幹動脈であるし住み難くない」ということは間違いである fact5: もしその海峡は縦貫すれば「主幹動脈でなくて加えてそれは住み難い」ということは誤っている fact6: 「「御持ち帰り下さる」ということは成り立つとしたら「薄明るくないし水臭くない」ということは事実でない」ものはある fact7: 「仮に縦貫するとすると「主幹動脈でないけど住み難い」ということは偽である」物はある fact8: 「「遣り難い」ということは成り立つとすると「交うということはないし更に赤くない」ということは嘘な」ものはある fact9: 「もし長屋門であるとすれば「剥離し難くないし忙しなくない」ということは本当でない」ものはある fact10: 「「もしも縦貫するなら「主幹動脈でなくてそれに住み難いということはない」ということは嘘でない」ものはある」ということは成り立つ fact11: 「もし仮に「縦貫する」ということは事実であるとすれば「主幹動脈だが住み難くない」ということは嘘である」ものはある
fact1 -> hypothesis;
$facts$ = fact1: もしもその海峡は縦貫すれば「「主幹動脈でないしかつそれは住み難くない」ということは本当である」ということは嘘だ fact2: 「もし灯し難いとしたら「攻撃範囲でないし奮い起こさない」ということは間違いな」物はある fact3: もしもその海峡が縦貫するとしたら主幹動脈でないしそれは住み難くない fact4: もしその海峡は縦貫するとすれば「それは主幹動脈であるし住み難くない」ということは間違いである fact5: もしその海峡は縦貫すれば「主幹動脈でなくて加えてそれは住み難い」ということは誤っている fact6: 「「御持ち帰り下さる」ということは成り立つとしたら「薄明るくないし水臭くない」ということは事実でない」ものはある fact7: 「仮に縦貫するとすると「主幹動脈でないけど住み難い」ということは偽である」物はある fact8: 「「遣り難い」ということは成り立つとすると「交うということはないし更に赤くない」ということは嘘な」ものはある fact9: 「もし長屋門であるとすれば「剥離し難くないし忙しなくない」ということは本当でない」ものはある fact10: 「「もしも縦貫するなら「主幹動脈でなくてそれに住み難いということはない」ということは嘘でない」ものはある」ということは成り立つ fact11: 「もし仮に「縦貫する」ということは事実であるとすれば「主幹動脈だが住み難くない」ということは嘘である」ものはある ; $hypothesis$ = 「「もし仮に縦貫するなら「主幹動脈でないし更に住み難くない」ということは事実と異なる」物はある」ということは誤っている ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もしもその海峡は縦貫すれば「「主幹動脈でないしかつそれは住み難くない」ということは本当である」ということは嘘だ
事実2: 「もし灯し難いとしたら「攻撃範囲でないし奮い起こさない」ということは間違いな」物はある
事実3: もしもその海峡が縦貫するとしたら主幹動脈でないしそれは住み難くない
事実4: もしその海峡は縦貫するとすれば「それは主幹動脈であるし住み難くない」ということは間違いである
事実5: もしその海峡は縦貫すれば「主幹動脈でなくて加えてそれは住み難い」ということは誤っている
事実6: 「「御持ち帰り下さる」ということは成り立つとしたら「薄明るくないし水臭くない」ということは事実でない」ものはある
事実7: 「仮に縦貫するとすると「主幹動脈でないけど住み難い」ということは偽である」物はある
事実8: 「「遣り難い」ということは成り立つとすると「交うということはないし更に赤くない」ということは嘘な」ものはある
事実9: 「もし長屋門であるとすれば「剥離し難くないし忙しなくない」ということは本当でない」ものはある
事実10: 「「もしも縦貫するなら「主幹動脈でなくてそれに住み難いということはない」ということは嘘でない」ものはある」ということは成り立つ
事実11: 「もし仮に「縦貫する」ということは事実であるとすれば「主幹動脈だが住み難くない」ということは嘘である」ものはある

仮説: 「「もし仮に縦貫するなら「主幹動脈でないし更に住み難くない」ということは事実と異なる」物はある」ということは誤っている
1. 事実1から、仮説が否定される

よって、仮説が否定されました。