仮にあの冥福はもたつくとすれば「この人手不足はめそめそしないがしかし済む」ということは嘘である
fact1: もし何かはめそめそするということはないけどそれは済むなら「この租税滞納処分手続きはぼろくない」ということは成り立つ fact2: あるものはもたつくしぼろい fact3: もしもこの租税滞納処分手続きはぼろくないとすると「あの冥福は前胸部でなくてしかもそれは強食でない」ということは確かである fact4: もしもなにかは前胸部でないしまた強食でないとするともたつく fact5: 仮にあの冥福は前胸部でないが強食であるとするとそれはもたつかない fact6: もし仮にあの鉄素材がぼろいが済むということはないとすれば「あの冥福は済まない」ということは事実と異ならない fact7: 「あの冥福は済まないがそれはもたつく」ということは嘘だ fact8: 「この人手不足はめそめそするしさらに済む」ということは誤りだ fact9: 仮に可笑しくない物が捜し当てないとするとそれは御美しくない fact10: もしあの冥福は前胸部である一方で強食でないとすればそれはもたつかない fact11: 仮になにがしかのものはもたつかないとすれば「それは強食でないしまた心憎くない」ということは成り立たない fact12: 仮にこの租税滞納処分手続きがめそめそするということはないしその上前胸部でないとするとそのＹ君は前胸部だ fact13: あの冥福がもたつくならこの人手不足はめそめそしないけど済む fact14: もし仮に何かは無拠出でない一方でそれが仕舞い易いなら挑戦し続けない fact15: 仮にあの冥福が済まないとするとこの租税滞納処分手続きはめそめそしなくてかつ前胸部でない fact16: もし仮に何らかの物が前胸部でないし強食でないとしたらそれはもたつかない fact17: 仮にこの人手不足がめそめそしないしそれがもたつかないとすると済むということはない fact18: もし「あの猟師町は強食だということはなくて心憎いということはない」ということは嘘だとすればあの鉄素材は強食だ
void -> assump1: 以下のように仮定する。この人手不足はめそめそするということはないけど済む; assump1 -> int1: 「めそめそするということはないしその上済む」ものはある; int1 & fact1 -> int2: この租税滞納処分手続きはぼろいということはない; int2 & fact3 -> int3: あの冥福は前胸部でないしそれは強食でない; fact16 -> int4: 仮にあの冥福は前胸部でなくて強食でないとすれば「それはもたつかない」ということは成り立つ; int3 & int4 -> int5: あの冥福はもたつくということはない; void -> assump2: 以下のように仮定する。あの冥福はもたつく; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「「この人手不足はめそめそしない一方で済む」ということは本当である」ということは成り立たない; [assump2] & int7 -> hypothesis;
そのＹ君は前胸部である
fact20 -> int8: もしあの猟師町はもたつかないなら「それは強食でないし更に心憎くない」ということは事実と異なる;
$facts$ = fact1: もし何かはめそめそするということはないけどそれは済むなら「この租税滞納処分手続きはぼろくない」ということは成り立つ fact2: あるものはもたつくしぼろい fact3: もしもこの租税滞納処分手続きはぼろくないとすると「あの冥福は前胸部でなくてしかもそれは強食でない」ということは確かである fact4: もしもなにかは前胸部でないしまた強食でないとするともたつく fact5: 仮にあの冥福は前胸部でないが強食であるとするとそれはもたつかない fact6: もし仮にあの鉄素材がぼろいが済むということはないとすれば「あの冥福は済まない」ということは事実と異ならない fact7: 「あの冥福は済まないがそれはもたつく」ということは嘘だ fact8: 「この人手不足はめそめそするしさらに済む」ということは誤りだ fact9: 仮に可笑しくない物が捜し当てないとするとそれは御美しくない fact10: もしあの冥福は前胸部である一方で強食でないとすればそれはもたつかない fact11: 仮になにがしかのものはもたつかないとすれば「それは強食でないしまた心憎くない」ということは成り立たない fact12: 仮にこの租税滞納処分手続きがめそめそするということはないしその上前胸部でないとするとそのＹ君は前胸部だ fact13: あの冥福がもたつくならこの人手不足はめそめそしないけど済む fact14: もし仮に何かは無拠出でない一方でそれが仕舞い易いなら挑戦し続けない fact15: 仮にあの冥福が済まないとするとこの租税滞納処分手続きはめそめそしなくてかつ前胸部でない fact16: もし仮に何らかの物が前胸部でないし強食でないとしたらそれはもたつかない fact17: 仮にこの人手不足がめそめそしないしそれがもたつかないとすると済むということはない fact18: もし「あの猟師町は強食だということはなくて心憎いということはない」ということは嘘だとすればあの鉄素材は強食だ ; $hypothesis$ = 仮にあの冥福はもたつくとすれば「この人手不足はめそめそしないがしかし済む」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。この人手不足はめそめそするということはないけど済む; assump1 -> int1: 「めそめそするということはないしその上済む」ものはある; int1 & fact1 -> int2: この租税滞納処分手続きはぼろいということはない; int2 & fact3 -> int3: あの冥福は前胸部でないしそれは強食でない; fact16 -> int4: 仮にあの冥福は前胸部でなくて強食でないとすれば「それはもたつかない」ということは成り立つ; int3 & int4 -> int5: あの冥福はもたつくということはない; void -> assump2: 以下のように仮定する。あの冥福はもたつく; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「「この人手不足はめそめそしない一方で済む」ということは本当である」ということは成り立たない; [assump2] & int7 -> hypothesis; __PROVED__
事実1: もし何かはめそめそするということはないけどそれは済むなら「この租税滞納処分手続きはぼろくない」ということは成り立つ
事実2: あるものはもたつくしぼろい
事実3: もしもこの租税滞納処分手続きはぼろくないとすると「あの冥福は前胸部でなくてしかもそれは強食でない」ということは確かである
事実4: もしもなにかは前胸部でないしまた強食でないとするともたつく
事実5: 仮にあの冥福は前胸部でないが強食であるとするとそれはもたつかない
事実6: もし仮にあの鉄素材がぼろいが済むということはないとすれば「あの冥福は済まない」ということは事実と異ならない
事実7: 「あの冥福は済まないがそれはもたつく」ということは嘘だ
事実8: 「この人手不足はめそめそするしさらに済む」ということは誤りだ
事実9: 仮に可笑しくない物が捜し当てないとするとそれは御美しくない
事実10: もしあの冥福は前胸部である一方で強食でないとすればそれはもたつかない
事実11: 仮になにがしかのものはもたつかないとすれば「それは強食でないしまた心憎くない」ということは成り立たない
事実12: 仮にこの租税滞納処分手続きがめそめそするということはないしその上前胸部でないとするとそのＹ君は前胸部だ
事実13: あの冥福がもたつくならこの人手不足はめそめそしないけど済む
事実14: もし仮に何かは無拠出でない一方でそれが仕舞い易いなら挑戦し続けない
事実15: 仮にあの冥福が済まないとするとこの租税滞納処分手続きはめそめそしなくてかつ前胸部でない
事実16: もし仮に何らかの物が前胸部でないし強食でないとしたらそれはもたつかない
事実17: 仮にこの人手不足がめそめそしないしそれがもたつかないとすると済むということはない
事実18: もし「あの猟師町は強食だということはなくて心憎いということはない」ということは嘘だとすればあの鉄素材は強食だ

仮説: 仮にあの冥福はもたつくとすれば「この人手不足はめそめそしないがしかし済む」ということは嘘である
1. 仮定1: 以下のように仮定する。この人手不足はめそめそするということはないけど済む
2. 仮定1から、推論1: "「めそめそするということはないしその上済む」ものはある"が導かれる
3. 推論1と事実1から、推論2: "この租税滞納処分手続きはぼろいということはない"が導かれる
4. 推論2と事実3から、推論3: "あの冥福は前胸部でないしそれは強食でない"が導かれる
5. 事実16から、推論4: "仮にあの冥福は前胸部でなくて強食でないとすれば「それはもたつかない」ということは成り立つ"が導かれる
6. 推論3と推論4から、推論5: "あの冥福はもたつくということはない"が導かれる
7. 仮定2: 以下のように仮定する。あの冥福はもたつく
8. 推論5と仮定2から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "「「この人手不足はめそめそしない一方で済む」ということは本当である」ということは成り立たない"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

よって、仮説が証明されました。