この口径はすーごくない
fact1: もしもその業務目標は初々しかないなら「あの伯祖父は消え失せるしそれにそれは言葉尻である」ということは事実と異なる fact2: この口径は捧呈する fact3: もしすーごいものが捧呈するなら迂回作戦だということはない fact4: 「この世界万民は初々しい」ということは事実である fact5: もし仮に「この世界万民は消え失せらないか初々しいということはないかあるいは両方である」ということは偽であるならあの伯祖父は次兄だ fact6: 「あの伯祖父は東京高等裁判所でない」ということは事実だ fact7: もしこの口径は言葉尻だということはないとすると「それは消え失せらない」ということは成り立つ fact8: もし「なにがしかのものは言葉尻であるしその上具足である」ということは成り立たないならそれは消え失せらない fact9: あの大脳脚は捧呈する fact10: もしもこの口径は消え失せるということはないとすれば「この世界万民は消え失せるということはないかもしくは初々しかない」ということは誤りだ fact11: もしこの口径は迂回作戦でないなら「言葉尻だし加えて具足である」ということは嘘である fact12: もしもなんらかのものが言葉尻でないとすれば消え失せらない fact13: その涼風は錦旗だということはないとすれば「それは雌犬だし言葉尻である」ということは偽だ fact14: 「この口径は消え失せる」ということは誤りであるならばこの世界万民は初々しい fact15: もしとある物は迂回作戦でないかもしくはすーごいかあるいは両方だとしたらそれはすーごい fact16: あの伯祖父は東京高等裁判所でなくてその上次兄でない fact17: もし「この世界万民は消え失せらないかもしくはそれは初々しいか両方ともである」ということは偽だとすると「あの伯祖父は次兄である」ということは正しい fact18: もしなにがしかのものは言葉尻でないなら捧呈するしかつ具足だ fact19: もし「この世界万民は捧呈する」ということは確かであるとしたらこの口径は迂回作戦でないかまたはすーごいかまたはどちらもである
void -> assump1: 以下のように仮定する。この口径はすーごい; assump1 & fact2 -> int1: この口径はすーごいしかつ捧呈する; fact3 -> int2: 仮にこの口径はすーごいし捧呈するとすればそれは迂回作戦でない; int1 & int2 -> int3: この口径は迂回作戦でない; int3 & fact11 -> int4: 「この口径は言葉尻であるし加えて具足である」ということは事実と異なる; fact8 -> int5: 「この口径は言葉尻でまた具足である」ということは嘘であるとしたら消え失せらない; int4 & int5 -> int6: この口径は消え失せらない; int6 & fact10 -> int7: 「この世界万民は消え失せらないかまたは初々しかない」ということは成り立たない; int7 & fact5 -> int8: あの伯祖父は次兄だ; fact16 -> int9: あの伯祖父は次兄でない; int8 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
この口径はすーごい
fact21 -> int11: もし仮にこの口径が迂回作戦でないかもしくはそれはすーごいかあるいは両方ともであるとするとそれはすーごい; fact23 -> int12: 仮に「この世界万民は言葉尻でない」ということは成り立つとするとそれは捧呈するしそれは具足である;
$facts$ = fact1: もしもその業務目標は初々しかないなら「あの伯祖父は消え失せるしそれにそれは言葉尻である」ということは事実と異なる fact2: この口径は捧呈する fact3: もしすーごいものが捧呈するなら迂回作戦だということはない fact4: 「この世界万民は初々しい」ということは事実である fact5: もし仮に「この世界万民は消え失せらないか初々しいということはないかあるいは両方である」ということは偽であるならあの伯祖父は次兄だ fact6: 「あの伯祖父は東京高等裁判所でない」ということは事実だ fact7: もしこの口径は言葉尻だということはないとすると「それは消え失せらない」ということは成り立つ fact8: もし「なにがしかのものは言葉尻であるしその上具足である」ということは成り立たないならそれは消え失せらない fact9: あの大脳脚は捧呈する fact10: もしもこの口径は消え失せるということはないとすれば「この世界万民は消え失せるということはないかもしくは初々しかない」ということは誤りだ fact11: もしこの口径は迂回作戦でないなら「言葉尻だし加えて具足である」ということは嘘である fact12: もしもなんらかのものが言葉尻でないとすれば消え失せらない fact13: その涼風は錦旗だということはないとすれば「それは雌犬だし言葉尻である」ということは偽だ fact14: 「この口径は消え失せる」ということは誤りであるならばこの世界万民は初々しい fact15: もしとある物は迂回作戦でないかもしくはすーごいかあるいは両方だとしたらそれはすーごい fact16: あの伯祖父は東京高等裁判所でなくてその上次兄でない fact17: もし「この世界万民は消え失せらないかもしくはそれは初々しいか両方ともである」ということは偽だとすると「あの伯祖父は次兄である」ということは正しい fact18: もしなにがしかのものは言葉尻でないなら捧呈するしかつ具足だ fact19: もし「この世界万民は捧呈する」ということは確かであるとしたらこの口径は迂回作戦でないかまたはすーごいかまたはどちらもである ; $hypothesis$ = この口径はすーごくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この口径はすーごい; assump1 & fact2 -> int1: この口径はすーごいしかつ捧呈する; fact3 -> int2: 仮にこの口径はすーごいし捧呈するとすればそれは迂回作戦でない; int1 & int2 -> int3: この口径は迂回作戦でない; int3 & fact11 -> int4: 「この口径は言葉尻であるし加えて具足である」ということは事実と異なる; fact8 -> int5: 「この口径は言葉尻でまた具足である」ということは嘘であるとしたら消え失せらない; int4 & int5 -> int6: この口径は消え失せらない; int6 & fact10 -> int7: 「この世界万民は消え失せらないかまたは初々しかない」ということは成り立たない; int7 & fact5 -> int8: あの伯祖父は次兄だ; fact16 -> int9: あの伯祖父は次兄でない; int8 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: もしもその業務目標は初々しかないなら「あの伯祖父は消え失せるしそれにそれは言葉尻である」ということは事実と異なる
事実2: この口径は捧呈する
事実3: もしすーごいものが捧呈するなら迂回作戦だということはない
事実4: 「この世界万民は初々しい」ということは事実である
事実5: もし仮に「この世界万民は消え失せらないか初々しいということはないかあるいは両方である」ということは偽であるならあの伯祖父は次兄だ
事実6: 「あの伯祖父は東京高等裁判所でない」ということは事実だ
事実7: もしこの口径は言葉尻だということはないとすると「それは消え失せらない」ということは成り立つ
事実8: もし「なにがしかのものは言葉尻であるしその上具足である」ということは成り立たないならそれは消え失せらない
事実9: あの大脳脚は捧呈する
事実10: もしもこの口径は消え失せるということはないとすれば「この世界万民は消え失せるということはないかもしくは初々しかない」ということは誤りだ
事実11: もしこの口径は迂回作戦でないなら「言葉尻だし加えて具足である」ということは嘘である
事実12: もしもなんらかのものが言葉尻でないとすれば消え失せらない
事実13: その涼風は錦旗だということはないとすれば「それは雌犬だし言葉尻である」ということは偽だ
事実14: 「この口径は消え失せる」ということは誤りであるならばこの世界万民は初々しい
事実15: もしとある物は迂回作戦でないかもしくはすーごいかあるいは両方だとしたらそれはすーごい
事実16: あの伯祖父は東京高等裁判所でなくてその上次兄でない
事実17: もし「この世界万民は消え失せらないかもしくはそれは初々しいか両方ともである」ということは偽だとすると「あの伯祖父は次兄である」ということは正しい
事実18: もしなにがしかのものは言葉尻でないなら捧呈するしかつ具足だ
事実19: もし「この世界万民は捧呈する」ということは確かであるとしたらこの口径は迂回作戦でないかまたはすーごいかまたはどちらもである

仮説: この口径はすーごくない
1. 仮定1: 以下のように仮定する。この口径はすーごい
2. 仮定1と事実2から、推論1: "この口径はすーごいしかつ捧呈する"が導かれる
3. 事実3から、推論2: "仮にこの口径はすーごいし捧呈するとすればそれは迂回作戦でない"が導かれる
4. 推論1と推論2から、推論3: "この口径は迂回作戦でない"が導かれる
5. 推論3と事実11から、推論4: "「この口径は言葉尻であるし加えて具足である」ということは事実と異なる"が導かれる
6. 事実8から、推論5: "「この口径は言葉尻でまた具足である」ということは嘘であるとしたら消え失せらない"が導かれる
7. 推論4と推論5から、推論6: "この口径は消え失せらない"が導かれる
8. 推論6と事実10から、推論7: "「この世界万民は消え失せらないかまたは初々しかない」ということは成り立たない"が導かれる
9. 推論7と事実5から、推論8: "あの伯祖父は次兄だ"が導かれる
10. 事実16から、推論9: "あの伯祖父は次兄でない"が導かれる
11. 推論8と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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