あの回廊は乗り難くないが寄る辺無い
fact1: 「このインテグロンは努力不足でないけれど注進する」ということは成り立たない fact2: 仮に「「努力不足でないがしかし注進する」ということは間違いな」ものがあるとするとあの回廊はＡＳＮでない fact3: もし仮に何かはＡＳＮだということはないとすれば「乗り難くなくて寄る辺無い」ということは誤っている
fact1 -> int1: 「「努力不足でないが注進する」ということは本当でない」ものはある; int1 & fact2 -> int2: あの回廊はＡＳＮでない; fact3 -> int3: 「もし「あの回廊はＡＳＮでない」ということは事実であるとすると「あの回廊は乗り難いということはない一方で寄る辺無い」ということは間違っている」ということは成り立つ; int2 & int3 -> hypothesis;
fact1 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact2 -> int2: ¬{A}{a}; fact3 -> int3: ¬{A}{a} -> ¬(¬{C}{a} & {B}{a}); int2 & int3 -> hypothesis;
$facts$ = fact1: 「このインテグロンは努力不足でないけれど注進する」ということは成り立たない fact2: 仮に「「努力不足でないがしかし注進する」ということは間違いな」ものがあるとするとあの回廊はＡＳＮでない fact3: もし仮に何かはＡＳＮだということはないとすれば「乗り難くなくて寄る辺無い」ということは誤っている ; $hypothesis$ = あの回廊は乗り難くないが寄る辺無い ; $proof$ = 
fact1 -> int1: 「「努力不足でないが注進する」ということは本当でない」ものはある; int1 & fact2 -> int2: あの回廊はＡＳＮでない; fact3 -> int3: 「もし「あの回廊はＡＳＮでない」ということは事実であるとすると「あの回廊は乗り難いということはない一方で寄る辺無い」ということは間違っている」ということは成り立つ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「このインテグロンは努力不足でないけれど注進する」ということは成り立たない
事実2: 仮に「「努力不足でないがしかし注進する」ということは間違いな」ものがあるとするとあの回廊はＡＳＮでない
事実3: もし仮に何かはＡＳＮだということはないとすれば「乗り難くなくて寄る辺無い」ということは誤っている

仮説: あの回廊は乗り難くないが寄る辺無い
1. 事実1から、推論1: "「「努力不足でないが注進する」ということは本当でない」ものはある"が導かれる
2. 推論1と事実2から、推論2: "あの回廊はＡＳＮでない"が導かれる
3. 事実3から、推論3: "「もし「あの回廊はＡＳＮでない」ということは事実であるとすると「あの回廊は乗り難いということはない一方で寄る辺無い」ということは間違っている」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が否定される

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