この業務上は歴史問題である
fact1: 仮にこの業務上が忙しないならこの察は地下深くない fact2: 仮に何かは人類であるとしたら地下深い fact3: あるものは狂えれば「それは地下深くない」ということは嘘である fact4: もしもこの業務上は地下深いならば「忙しなくないがしかし歴史問題である」ということは成り立たない fact5: もしも「この業務上は取り組み易くないしさらに忙しないということはない」ということは誤りであるとするとこの察は地下深いということはない fact6: 仮にこの察が歴史問題だとしたらこの業務上は歴史問題だ fact7: この察は狂えるが人類であるということはない fact8: もし仮にこの業務上は歴史問題だとしたら「取り組み易くなくてまた忙しなくない」ということは成り立たない
void -> assump1: 以下のように仮定する。この業務上は歴史問題である; fact8 & assump1 -> int1: 「この業務上は取り組み易くないし忙しないということはない」ということは成り立たない; int1 & fact5 -> int2: この察は地下深くない; fact7 -> int3: この察は狂える; fact3 -> int4: もしこの察が狂えるならそれは地下深い; int3 & int4 -> int5: この察は地下深い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「この業務上は歴史問題である」ということは真実だ
fact10 -> int7: もしも「あの負荷山積みは人類である」ということは成り立つとしたらそれは地下深い;
$facts$ = fact1: 仮にこの業務上が忙しないならこの察は地下深くない fact2: 仮に何かは人類であるとしたら地下深い fact3: あるものは狂えれば「それは地下深くない」ということは嘘である fact4: もしもこの業務上は地下深いならば「忙しなくないがしかし歴史問題である」ということは成り立たない fact5: もしも「この業務上は取り組み易くないしさらに忙しないということはない」ということは誤りであるとするとこの察は地下深いということはない fact6: 仮にこの察が歴史問題だとしたらこの業務上は歴史問題だ fact7: この察は狂えるが人類であるということはない fact8: もし仮にこの業務上は歴史問題だとしたら「取り組み易くなくてまた忙しなくない」ということは成り立たない ; $hypothesis$ = この業務上は歴史問題である ; $proof$ = 
void -> assump1: 以下のように仮定する。この業務上は歴史問題である; fact8 & assump1 -> int1: 「この業務上は取り組み易くないし忙しないということはない」ということは成り立たない; int1 & fact5 -> int2: この察は地下深くない; fact7 -> int3: この察は狂える; fact3 -> int4: もしこの察が狂えるならそれは地下深い; int3 & int4 -> int5: この察は地下深い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮にこの業務上が忙しないならこの察は地下深くない
事実2: 仮に何かは人類であるとしたら地下深い
事実3: あるものは狂えれば「それは地下深くない」ということは嘘である
事実4: もしもこの業務上は地下深いならば「忙しなくないがしかし歴史問題である」ということは成り立たない
事実5: もしも「この業務上は取り組み易くないしさらに忙しないということはない」ということは誤りであるとするとこの察は地下深いということはない
事実6: 仮にこの察が歴史問題だとしたらこの業務上は歴史問題だ
事実7: この察は狂えるが人類であるということはない
事実8: もし仮にこの業務上は歴史問題だとしたら「取り組み易くなくてまた忙しなくない」ということは成り立たない

仮説: この業務上は歴史問題である
1. 仮定1: 以下のように仮定する。この業務上は歴史問題である
2. 事実8と仮定1から、推論1: "「この業務上は取り組み易くないし忙しないということはない」ということは成り立たない"が導かれる
3. 推論1と事実5から、推論2: "この察は地下深くない"が導かれる
4. 事実7から、推論3: "この察は狂える"が導かれる
5. 事実3から、推論4: "もしこの察が狂えるならそれは地下深い"が導かれる
6. 推論3と推論4から、推論5: "この察は地下深い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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