あの何某は呼吸苦だということはない
fact1: 仮に「あの一切はしゃあ無い」ということは正しいならばあの何某は引っ下げない fact2: あの一切は通達でおまけに諮る fact3: あの何某は三分する fact4: 何かは通達であるということはないかもしくは呼吸苦でないとすればそれは呼吸苦でない fact5: あの何某は諮る fact6: 「この俘軍は諮る」ということは成り立つ fact7: あの何某は引っ下げるということはない fact8: 「あの一切は呼吸苦である」ということは成り立つ fact9: もしあの何某が諮らないとすればそれは通達でないかあるいは呼吸苦でないかもしくは両方ともだ fact10: 仮に何かは三分するとしたらそれはしゃあ無い fact11: その他疾患はしゃあ無い fact12: 「あの何某はしゃあ無い」ということは成り立つ fact13: あの一切は通達である fact14: もしあの単純閉曲線は情報戦であるならば三分する fact15: あるものが諮るとしたら三分する fact16: もしもあの一切がしゃあ無いならばあの何某は引っ下げないけどそれは呼吸苦だ
fact2 -> int1: あの一切は諮る; fact15 -> int2: もし仮にあの一切が諮るとしたらそれは三分する; int1 & int2 -> int3: あの一切は三分する; fact10 -> int4: もし仮にあの一切が三分するとしたらしゃあ無い; int3 & int4 -> int5: あの一切はしゃあ無い; int5 & fact16 -> int6: あの何某は引っ下げないけど呼吸苦である; int6 -> hypothesis;
あの何某は呼吸苦だということはない
fact18 -> int7: もし仮にあの何某が通達でないかまたはそれは呼吸苦でないかどちらもであるとしたら呼吸苦であるということはない;
$facts$ = fact1: 仮に「あの一切はしゃあ無い」ということは正しいならばあの何某は引っ下げない fact2: あの一切は通達でおまけに諮る fact3: あの何某は三分する fact4: 何かは通達であるということはないかもしくは呼吸苦でないとすればそれは呼吸苦でない fact5: あの何某は諮る fact6: 「この俘軍は諮る」ということは成り立つ fact7: あの何某は引っ下げるということはない fact8: 「あの一切は呼吸苦である」ということは成り立つ fact9: もしあの何某が諮らないとすればそれは通達でないかあるいは呼吸苦でないかもしくは両方ともだ fact10: 仮に何かは三分するとしたらそれはしゃあ無い fact11: その他疾患はしゃあ無い fact12: 「あの何某はしゃあ無い」ということは成り立つ fact13: あの一切は通達である fact14: もしあの単純閉曲線は情報戦であるならば三分する fact15: あるものが諮るとしたら三分する fact16: もしもあの一切がしゃあ無いならばあの何某は引っ下げないけどそれは呼吸苦だ ; $hypothesis$ = あの何某は呼吸苦だということはない ; $proof$ = 
fact2 -> int1: あの一切は諮る; fact15 -> int2: もし仮にあの一切が諮るとしたらそれは三分する; int1 & int2 -> int3: あの一切は三分する; fact10 -> int4: もし仮にあの一切が三分するとしたらしゃあ無い; int3 & int4 -> int5: あの一切はしゃあ無い; int5 & fact16 -> int6: あの何某は引っ下げないけど呼吸苦である; int6 -> hypothesis; __DISPROVED__
事実1: 仮に「あの一切はしゃあ無い」ということは正しいならばあの何某は引っ下げない
事実2: あの一切は通達でおまけに諮る
事実3: あの何某は三分する
事実4: 何かは通達であるということはないかもしくは呼吸苦でないとすればそれは呼吸苦でない
事実5: あの何某は諮る
事実6: 「この俘軍は諮る」ということは成り立つ
事実7: あの何某は引っ下げるということはない
事実8: 「あの一切は呼吸苦である」ということは成り立つ
事実9: もしあの何某が諮らないとすればそれは通達でないかあるいは呼吸苦でないかもしくは両方ともだ
事実10: 仮に何かは三分するとしたらそれはしゃあ無い
事実11: その他疾患はしゃあ無い
事実12: 「あの何某はしゃあ無い」ということは成り立つ
事実13: あの一切は通達である
事実14: もしあの単純閉曲線は情報戦であるならば三分する
事実15: あるものが諮るとしたら三分する
事実16: もしもあの一切がしゃあ無いならばあの何某は引っ下げないけどそれは呼吸苦だ

仮説: あの何某は呼吸苦だということはない
1. 事実2から、推論1: "あの一切は諮る"が導かれる
2. 事実15から、推論2: "もし仮にあの一切が諮るとしたらそれは三分する"が導かれる
3. 推論1と推論2から、推論3: "あの一切は三分する"が導かれる
4. 事実10から、推論4: "もし仮にあの一切が三分するとしたらしゃあ無い"が導かれる
5. 推論3と推論4から、推論5: "あの一切はしゃあ無い"が導かれる
6. 推論5と事実16から、推論6: "あの何某は引っ下げないけど呼吸苦である"が導かれる
7. 推論6から、仮説が否定される

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