このアースオーガはこっ酷くない
fact1: もしも「とある物はジャンプするけれどそれは基地問題でない」ということは誤りならばジャンプしない fact2: その光速度はジャンプする fact3: もし仮にこのアースオーガは正せらないけど基地問題だとしたら「それはこっ酷くない」ということは確かだ fact4: もしこのアースオーガがおもろいならばその光速度はこっ酷い fact5: 仮に「その光速度はおもろい」ということは本当であるとすればこの人口比は基地問題だ fact6: 仮にその光速度が居辛くないけど誇らしいとしたらジャンプしない fact7: あの利益集団はジャンプする fact8: もしその光速度がおもろくないとするとそれは居辛くないがしかし誇らしい fact9: この人口比が基地問題ならこのアースオーガは正せらないが基地問題である fact10: この人口比はおもろい
void -> assump1: 以下のように仮定する。その光速度はおもろいということはない; fact8 & assump1 -> int1: その光速度は居辛いということはない一方で誇らしい; int1 & fact6 -> int2: その光速度はジャンプしない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その光速度はおもろい; int4 & fact5 -> int5: この人口比は基地問題だ; int5 & fact9 -> int6: このアースオーガは正せらないけれど基地問題である; int6 & fact3 -> hypothesis;
このアースオーガはこっ酷い
fact11 -> int7: もし仮に「このアースオーガはジャンプする一方で基地問題だということはない」ということは誤っているとするとそれはジャンプしない;
$facts$ = fact1: もしも「とある物はジャンプするけれどそれは基地問題でない」ということは誤りならばジャンプしない fact2: その光速度はジャンプする fact3: もし仮にこのアースオーガは正せらないけど基地問題だとしたら「それはこっ酷くない」ということは確かだ fact4: もしこのアースオーガがおもろいならばその光速度はこっ酷い fact5: 仮に「その光速度はおもろい」ということは本当であるとすればこの人口比は基地問題だ fact6: 仮にその光速度が居辛くないけど誇らしいとしたらジャンプしない fact7: あの利益集団はジャンプする fact8: もしその光速度がおもろくないとするとそれは居辛くないがしかし誇らしい fact9: この人口比が基地問題ならこのアースオーガは正せらないが基地問題である fact10: この人口比はおもろい ; $hypothesis$ = このアースオーガはこっ酷くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その光速度はおもろいということはない; fact8 & assump1 -> int1: その光速度は居辛いということはない一方で誇らしい; int1 & fact6 -> int2: その光速度はジャンプしない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その光速度はおもろい; int4 & fact5 -> int5: この人口比は基地問題だ; int5 & fact9 -> int6: このアースオーガは正せらないけれど基地問題である; int6 & fact3 -> hypothesis; __PROVED__
事実1: もしも「とある物はジャンプするけれどそれは基地問題でない」ということは誤りならばジャンプしない
事実2: その光速度はジャンプする
事実3: もし仮にこのアースオーガは正せらないけど基地問題だとしたら「それはこっ酷くない」ということは確かだ
事実4: もしこのアースオーガがおもろいならばその光速度はこっ酷い
事実5: 仮に「その光速度はおもろい」ということは本当であるとすればこの人口比は基地問題だ
事実6: 仮にその光速度が居辛くないけど誇らしいとしたらジャンプしない
事実7: あの利益集団はジャンプする
事実8: もしその光速度がおもろくないとするとそれは居辛くないがしかし誇らしい
事実9: この人口比が基地問題ならこのアースオーガは正せらないが基地問題である
事実10: この人口比はおもろい

仮説: このアースオーガはこっ酷くない
1. 仮定1: 以下のように仮定する。その光速度はおもろいということはない
2. 事実8と仮定1から、推論1: "その光速度は居辛いということはない一方で誇らしい"が導かれる
3. 推論1と事実6から、推論2: "その光速度はジャンプしない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その光速度はおもろい"が導かれる
6. 推論4と事実5から、推論5: "この人口比は基地問題だ"が導かれる
7. 推論5と事実9から、推論6: "このアースオーガは正せらないけれど基地問題である"が導かれる
8. 推論6と事実3から、仮説が導かれる

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