「もし仮にその給水は短いとしたら「この実質基準は広ーくないしハルマゲドンでない」ということは事実と異なる」ということは嘘だ
fact1: もしもその給水が短くてまた研ぐとするとこの迷宮入りは九箇月後でない fact2: もしもこの青葉色がハルマゲドンでないとすればこの実質基準は広ーくないしおまけにそれはハルマゲドンでない fact3: 「この実質基準は広ーいがハルマゲドンでない」ということは事実と異なる fact4: もし仮に「とある物は九箇月後でない」ということは事実であるとするとこの青葉色はハルマゲドンでない fact5: もしこの青葉色はハルマゲドンでないとすれば「この実質基準は広ーいということはないしおまけにハルマゲドンでない」ということは本当でない fact6: この迷宮入りは短い fact7: もし仮に「あるものが研がないしさらに九箇月後でない」ということは成り立たないとすればそれは九箇月後である fact8: もし仮になんらかのものがハルマゲドンでないならばあの青葉色は広ーくない fact9: 「その給水は広ーいけど研ぐということはない」ということは事実と異なる fact10: 「この迷宮入りはハルマゲドンでＥＵ議長国だ」ということは成り立たない fact11: もし仮にその給水はハルマゲドンでないとしたらそれは短いし伝世する fact12: その給水が短いならばあの実質基準は広ーくないしそれはハルマゲドンでない fact13: その給水は研ぐしそれは伝世する
fact13 -> int1: その給水は研ぐ; void -> assump1: 以下のように仮定する。その給水は短い; int1 & assump1 -> int2: その給水は短くてさらに研ぐ; int2 & fact1 -> int3: この迷宮入りは九箇月後でない; int3 -> int4: 「九箇月後でない」物はある; int4 & fact4 -> int5: この青葉色はハルマゲドンでない; int5 & fact5 -> int6: 「この実質基準は広ーくないし加えてハルマゲドンでない」ということは正しくない; [assump1] & int6 -> hypothesis;
その士官は九箇月後である
fact14 -> int7: もし仮に「その士官は研がないし九箇月後でない」ということは成り立たないなら九箇月後である; fact15 -> int8: 「「ハルマゲドンだしそれにＥＵ議長国だ」ということは偽な」物はある;
$facts$ = fact1: もしもその給水が短くてまた研ぐとするとこの迷宮入りは九箇月後でない fact2: もしもこの青葉色がハルマゲドンでないとすればこの実質基準は広ーくないしおまけにそれはハルマゲドンでない fact3: 「この実質基準は広ーいがハルマゲドンでない」ということは事実と異なる fact4: もし仮に「とある物は九箇月後でない」ということは事実であるとするとこの青葉色はハルマゲドンでない fact5: もしこの青葉色はハルマゲドンでないとすれば「この実質基準は広ーいということはないしおまけにハルマゲドンでない」ということは本当でない fact6: この迷宮入りは短い fact7: もし仮に「あるものが研がないしさらに九箇月後でない」ということは成り立たないとすればそれは九箇月後である fact8: もし仮になんらかのものがハルマゲドンでないならばあの青葉色は広ーくない fact9: 「その給水は広ーいけど研ぐということはない」ということは事実と異なる fact10: 「この迷宮入りはハルマゲドンでＥＵ議長国だ」ということは成り立たない fact11: もし仮にその給水はハルマゲドンでないとしたらそれは短いし伝世する fact12: その給水が短いならばあの実質基準は広ーくないしそれはハルマゲドンでない fact13: その給水は研ぐしそれは伝世する ; $hypothesis$ = 「もし仮にその給水は短いとしたら「この実質基準は広ーくないしハルマゲドンでない」ということは事実と異なる」ということは嘘だ ; $proof$ = 
fact13 -> int1: その給水は研ぐ; void -> assump1: 以下のように仮定する。その給水は短い; int1 & assump1 -> int2: その給水は短くてさらに研ぐ; int2 & fact1 -> int3: この迷宮入りは九箇月後でない; int3 -> int4: 「九箇月後でない」物はある; int4 & fact4 -> int5: この青葉色はハルマゲドンでない; int5 & fact5 -> int6: 「この実質基準は広ーくないし加えてハルマゲドンでない」ということは正しくない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしもその給水が短くてまた研ぐとするとこの迷宮入りは九箇月後でない
事実2: もしもこの青葉色がハルマゲドンでないとすればこの実質基準は広ーくないしおまけにそれはハルマゲドンでない
事実3: 「この実質基準は広ーいがハルマゲドンでない」ということは事実と異なる
事実4: もし仮に「とある物は九箇月後でない」ということは事実であるとするとこの青葉色はハルマゲドンでない
事実5: もしこの青葉色はハルマゲドンでないとすれば「この実質基準は広ーいということはないしおまけにハルマゲドンでない」ということは本当でない
事実6: この迷宮入りは短い
事実7: もし仮に「あるものが研がないしさらに九箇月後でない」ということは成り立たないとすればそれは九箇月後である
事実8: もし仮になんらかのものがハルマゲドンでないならばあの青葉色は広ーくない
事実9: 「その給水は広ーいけど研ぐということはない」ということは事実と異なる
事実10: 「この迷宮入りはハルマゲドンでＥＵ議長国だ」ということは成り立たない
事実11: もし仮にその給水はハルマゲドンでないとしたらそれは短いし伝世する
事実12: その給水が短いならばあの実質基準は広ーくないしそれはハルマゲドンでない
事実13: その給水は研ぐしそれは伝世する

仮説: 「もし仮にその給水は短いとしたら「この実質基準は広ーくないしハルマゲドンでない」ということは事実と異なる」ということは嘘だ
1. 事実13から、推論1: "その給水は研ぐ"が導かれる
2. 仮定1: 以下のように仮定する。その給水は短い
3. 推論1と仮定1から、推論2: "その給水は短くてさらに研ぐ"が導かれる
4. 推論2と事実1から、推論3: "この迷宮入りは九箇月後でない"が導かれる
5. 推論3から、推論4: "「九箇月後でない」物はある"が導かれる
6. 推論4と事実4から、推論5: "この青葉色はハルマゲドンでない"が導かれる
7. 推論5と事実5から、推論6: "「この実質基準は広ーくないし加えてハルマゲドンでない」ということは正しくない"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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