「「二週間以内であるし仄暗い」ということは成り立たない」ものはある
fact1: この促進は捲れ上がるということはないかあるいはそれは三月決算でない fact2: もしその配球は見苦しくないとすれば「その細経は二週間以内であるし仄暗い」ということは成り立たない fact3: その配球が二週間以内であるとしたらこの促進は二週間以内である fact4: その配球が通読するがしかしそれが五十年近くでないとすればあの人々全ては三月決算である fact5: この交流戦はやばいということはない fact6: もしも「なにがしかのものは通読しないが五十年近くである」ということは誤りならばそれは五十年近くでない fact7: もし仮になにがしかの物は三月決算でないとしたら「通読しないしさらに五十年近くだ」ということは間違っている fact8: あの燃料ポンプはかったるくて更にどす黒い fact9: もしその配球は見苦しいなら「身軽い」ということは事実である fact10: 身軽い物は通読するけど五十年近くでない fact11: もし「「身軽いし見苦しい」ということは成り立たない」物があるならその配球は二週間以内だ fact12: あの燃料ポンプが三月決算でないがそれがかったるいならばあの人々全ては三月決算でない fact13: もし仮にこの促進が捲れ上がらないかまたはそれが三月決算でないとすればあの燃料ポンプは三月決算でない
void -> assump1: 以下のように仮定する。「その配球は見苦しい」ということは事実である; fact9 & assump1 -> int1: その配球は身軽い; fact10 -> int2: もしその配球が身軽いならばそれは通読するし更にそれは五十年近くでない; int1 & int2 -> int3: その配球は通読するが五十年近くでない; int3 & fact4 -> int4: あの人々全ては三月決算だ; fact8 -> int5: あの燃料ポンプはかったるい; fact1 & fact13 -> int6: あの燃料ポンプは三月決算であるということはない; int5 & int6 -> int7: あの燃料ポンプは三月決算でないけれどそれはかったるい; int7 & fact12 -> int8: あの人々全ては三月決算でない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「その配球は見苦しくない」ということは事実だ; int10 & fact2 -> int11: 「その細経が二週間以内だしかつそれは仄暗い」ということは嘘だ; int11 -> hypothesis;
この促進は二週間以内だ
fact14 -> int12: もしも「あの人々全ては通読するということはないがしかし五十年近くだ」ということは誤りであるとしたら五十年近くでない; fact16 -> int13: 仮にその細経は三月決算でないとすると「通読しなくてそれは五十年近くだ」ということは本当でない;
$facts$ = fact1: この促進は捲れ上がるということはないかあるいはそれは三月決算でない fact2: もしその配球は見苦しくないとすれば「その細経は二週間以内であるし仄暗い」ということは成り立たない fact3: その配球が二週間以内であるとしたらこの促進は二週間以内である fact4: その配球が通読するがしかしそれが五十年近くでないとすればあの人々全ては三月決算である fact5: この交流戦はやばいということはない fact6: もしも「なにがしかのものは通読しないが五十年近くである」ということは誤りならばそれは五十年近くでない fact7: もし仮になにがしかの物は三月決算でないとしたら「通読しないしさらに五十年近くだ」ということは間違っている fact8: あの燃料ポンプはかったるくて更にどす黒い fact9: もしその配球は見苦しいなら「身軽い」ということは事実である fact10: 身軽い物は通読するけど五十年近くでない fact11: もし「「身軽いし見苦しい」ということは成り立たない」物があるならその配球は二週間以内だ fact12: あの燃料ポンプが三月決算でないがそれがかったるいならばあの人々全ては三月決算でない fact13: もし仮にこの促進が捲れ上がらないかまたはそれが三月決算でないとすればあの燃料ポンプは三月決算でない ; $hypothesis$ = 「「二週間以内であるし仄暗い」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「その配球は見苦しい」ということは事実である; fact9 & assump1 -> int1: その配球は身軽い; fact10 -> int2: もしその配球が身軽いならばそれは通読するし更にそれは五十年近くでない; int1 & int2 -> int3: その配球は通読するが五十年近くでない; int3 & fact4 -> int4: あの人々全ては三月決算だ; fact8 -> int5: あの燃料ポンプはかったるい; fact1 & fact13 -> int6: あの燃料ポンプは三月決算であるということはない; int5 & int6 -> int7: あの燃料ポンプは三月決算でないけれどそれはかったるい; int7 & fact12 -> int8: あの人々全ては三月決算でない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「その配球は見苦しくない」ということは事実だ; int10 & fact2 -> int11: 「その細経が二週間以内だしかつそれは仄暗い」ということは嘘だ; int11 -> hypothesis; __PROVED__
事実1: この促進は捲れ上がるということはないかあるいはそれは三月決算でない
事実2: もしその配球は見苦しくないとすれば「その細経は二週間以内であるし仄暗い」ということは成り立たない
事実3: その配球が二週間以内であるとしたらこの促進は二週間以内である
事実4: その配球が通読するがしかしそれが五十年近くでないとすればあの人々全ては三月決算である
事実5: この交流戦はやばいということはない
事実6: もしも「なにがしかのものは通読しないが五十年近くである」ということは誤りならばそれは五十年近くでない
事実7: もし仮になにがしかの物は三月決算でないとしたら「通読しないしさらに五十年近くだ」ということは間違っている
事実8: あの燃料ポンプはかったるくて更にどす黒い
事実9: もしその配球は見苦しいなら「身軽い」ということは事実である
事実10: 身軽い物は通読するけど五十年近くでない
事実11: もし「「身軽いし見苦しい」ということは成り立たない」物があるならその配球は二週間以内だ
事実12: あの燃料ポンプが三月決算でないがそれがかったるいならばあの人々全ては三月決算でない
事実13: もし仮にこの促進が捲れ上がらないかまたはそれが三月決算でないとすればあの燃料ポンプは三月決算でない

仮説: 「「二週間以内であるし仄暗い」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。「その配球は見苦しい」ということは事実である
2. 事実9と仮定1から、推論1: "その配球は身軽い"が導かれる
3. 事実10から、推論2: "もしその配球が身軽いならばそれは通読するし更にそれは五十年近くでない"が導かれる
4. 推論1と推論2から、推論3: "その配球は通読するが五十年近くでない"が導かれる
5. 推論3と事実4から、推論4: "あの人々全ては三月決算だ"が導かれる
6. 事実8から、推論5: "あの燃料ポンプはかったるい"が導かれる
7. 事実1と事実13から、推論6: "あの燃料ポンプは三月決算であるということはない"が導かれる
8. 推論5と推論6から、推論7: "あの燃料ポンプは三月決算でないけれどそれはかったるい"が導かれる
9. 推論7と事実12から、推論8: "あの人々全ては三月決算でない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「その配球は見苦しくない」ということは事実だ"が導かれる
12. 推論10と事実2から、推論11: "「その細経が二週間以内だしかつそれは仄暗い」ということは嘘だ"が導かれる
13. 推論11から、仮説が導かれる

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