「あの世界最初はそそっかしいか三箇月毎であるかどちらもである」ということは誤りである
fact1: もしその救急救命士は近日だということはないならば「あのニューサマーオレンジソースは気難しくないけどそれは破れ難い」ということは誤っている fact2: とある物が叩き上げればそれはもぞもぞしない fact3: 仮に「「何らかの物は叩き上げないしおまけに忙しくない」ということは確かである」ということは嘘だとしたらそれは叩き上げる fact4: あの世界最初が破れ難くないとしたらあの健康管理はそそっかしいしそれに三箇月毎だ fact5: もしあのオフィス街が疎いとすればその救急救命士は近日でない fact6: それは叩き上げないし忙しくないというものはない fact7: もしもあのオフィス街が近日だとすればその救急救命士は近日でない fact8: 仮にある物がもぞもぞしないとすればそれは近日であるか疎いかもしくは両方である fact9: もしも何らかの物は破れ難いということはないとすると「そそっかしいかあるいはそれは三箇月毎であるかまたは両方だ」ということは事実と異なる fact10: 「「あの世界最初はアーツでないしさらに切り分けない」ということは成り立たないならあの世界最初はそそっかしい」ということは本当だ fact11: 「あの世界最初はアーツでないしかつ切り分けない」ということは嘘である fact12: 「あの世界最初はアーツだけど切り分けない」ということは誤っている
fact10 & fact11 -> int1: あの世界最初はそそっかしい; int1 -> hypothesis;
あの健康管理は三箇月毎である
fact15 -> int2: もしもあのオフィス街がもぞもぞしないとすれば近日であるかもしくは疎いか両方である; fact14 -> int3: もしもあのオフィス街が叩き上げるとしたらもぞもぞしない; fact17 -> int4: もし仮に「あのオフィス街は叩き上げないし忙しくない」ということは成り立つということはないとしたらそれは叩き上げる; fact16 -> int5: 「あのオフィス街は叩き上げないしまたそれは忙しいということはない」ということは成り立たない; int4 & int5 -> int6: あのオフィス街は叩き上げる; int3 & int6 -> int7: あのオフィス街はもぞもぞするということはない; int2 & int7 -> int8: あのオフィス街は近日であるかもしくは疎いかもしくは両方である; int8 & fact20 & fact18 -> int9: その救急救命士は近日でない; fact19 & int9 -> int10: 「あのニューサマーオレンジソースは気難しいということはないがしかし破れ難い」ということは嘘である; int10 -> int11: 「「気難しくないしまた破れ難い」ということは嘘である」ものはある;
$facts$ = fact1: もしその救急救命士は近日だということはないならば「あのニューサマーオレンジソースは気難しくないけどそれは破れ難い」ということは誤っている fact2: とある物が叩き上げればそれはもぞもぞしない fact3: 仮に「「何らかの物は叩き上げないしおまけに忙しくない」ということは確かである」ということは嘘だとしたらそれは叩き上げる fact4: あの世界最初が破れ難くないとしたらあの健康管理はそそっかしいしそれに三箇月毎だ fact5: もしあのオフィス街が疎いとすればその救急救命士は近日でない fact6: それは叩き上げないし忙しくないというものはない fact7: もしもあのオフィス街が近日だとすればその救急救命士は近日でない fact8: 仮にある物がもぞもぞしないとすればそれは近日であるか疎いかもしくは両方である fact9: もしも何らかの物は破れ難いということはないとすると「そそっかしいかあるいはそれは三箇月毎であるかまたは両方だ」ということは事実と異なる fact10: 「「あの世界最初はアーツでないしさらに切り分けない」ということは成り立たないならあの世界最初はそそっかしい」ということは本当だ fact11: 「あの世界最初はアーツでないしかつ切り分けない」ということは嘘である fact12: 「あの世界最初はアーツだけど切り分けない」ということは誤っている ; $hypothesis$ = 「あの世界最初はそそっかしいか三箇月毎であるかどちらもである」ということは誤りである ; $proof$ = 
fact10 & fact11 -> int1: あの世界最初はそそっかしい; int1 -> hypothesis; __DISPROVED__
事実1: もしその救急救命士は近日だということはないならば「あのニューサマーオレンジソースは気難しくないけどそれは破れ難い」ということは誤っている
事実2: とある物が叩き上げればそれはもぞもぞしない
事実3: 仮に「「何らかの物は叩き上げないしおまけに忙しくない」ということは確かである」ということは嘘だとしたらそれは叩き上げる
事実4: あの世界最初が破れ難くないとしたらあの健康管理はそそっかしいしそれに三箇月毎だ
事実5: もしあのオフィス街が疎いとすればその救急救命士は近日でない
事実6: それは叩き上げないし忙しくないというものはない
事実7: もしもあのオフィス街が近日だとすればその救急救命士は近日でない
事実8: 仮にある物がもぞもぞしないとすればそれは近日であるか疎いかもしくは両方である
事実9: もしも何らかの物は破れ難いということはないとすると「そそっかしいかあるいはそれは三箇月毎であるかまたは両方だ」ということは事実と異なる
事実10: 「「あの世界最初はアーツでないしさらに切り分けない」ということは成り立たないならあの世界最初はそそっかしい」ということは本当だ
事実11: 「あの世界最初はアーツでないしかつ切り分けない」ということは嘘である
事実12: 「あの世界最初はアーツだけど切り分けない」ということは誤っている

仮説: 「あの世界最初はそそっかしいか三箇月毎であるかどちらもである」ということは誤りである
1. 事実10と事実11から、推論1: "あの世界最初はそそっかしい"が導かれる
2. 推論1から、仮説が否定される

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