「あの匆々は辛いかあるいはそれはノーマルステップだ」ということは嘘だ
fact1: 「あの匆々は強制乳化法だ」ということは真実であるとすればそれはディクディクだ fact2: あの下甕は透析準備期であるということはない fact3: この継続看護はディクディクであるなら長駆しない fact4: もしもこの継続看護が透析準備期でなくてレーザー脱毛でないならばその基本史料は薄くない fact5: もしこの継続看護が長駆しないがしかしノーマルステップだとすればあの匆々はレーザー脱毛でない fact6: あの匆々は薄い fact7: 仮に「その基本史料は険しい」ということは本当であるとしたらそれはディクディクである fact8: もしこの継続看護はアンダーアチーバーでないとすると「あの匆々はノーマルステップである」ということは本当だ fact9: 仮にあの匆々が透析準備期でないならこの継続看護は辛い fact10: 「ディクディクは薄い」ということは正しい fact11: その基本史料はノーマルステップだ fact12: 仮にあるものが長駆するということはないなら追従出来ないかもしくはそれはアンダーアチーバーでないか両方だ fact13: もし仮に何かは長駆するということはないなら「それは辛いかあるいはノーマルステップであるかどちらもだ」ということは成り立つということはない fact14: もし仮にこの継続看護が追従出来ないならあの匆々はノーマルステップだ fact15: もしこの継続看護が長駆すれば透析準備期でないしそれはレーザー脱毛でない fact16: その基本史料は険しい
void -> assump1: 以下のように仮定する。この継続看護は長駆する; fact15 & assump1 -> int1: この継続看護は透析準備期であるということはなくてレーザー脱毛であるということはない; int1 & fact4 -> int2: その基本史料は薄くない; fact16 & fact7 -> int3: その基本史料はディクディクだ; fact10 -> int4: もしその基本史料はディクディクであるとすれば「それは薄い」ということは本当だ; int3 & int4 -> int5: その基本史料は薄い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この継続看護は長駆しない; fact12 -> int8: この継続看護は長駆しないなら「追従出来るということはないかあるいはアンダーアチーバーでないかあるいは両方ともである」ということは成り立つ; int7 & int8 -> int9: この継続看護は追従出来るということはないかあるいはアンダーアチーバーでないかどちらもだ; int9 & fact14 & fact8 -> int10: あの匆々はノーマルステップである; int10 -> hypothesis;
「あの匆々は辛いかまたはノーマルステップだ」ということは成り立たない
fact17 -> int11: もしもあの匆々は長駆するということはないなら「それは辛いかまたはノーマルステップであるかあるいは両方ともである」ということは本当でない;
$facts$ = fact1: 「あの匆々は強制乳化法だ」ということは真実であるとすればそれはディクディクだ fact2: あの下甕は透析準備期であるということはない fact3: この継続看護はディクディクであるなら長駆しない fact4: もしもこの継続看護が透析準備期でなくてレーザー脱毛でないならばその基本史料は薄くない fact5: もしこの継続看護が長駆しないがしかしノーマルステップだとすればあの匆々はレーザー脱毛でない fact6: あの匆々は薄い fact7: 仮に「その基本史料は険しい」ということは本当であるとしたらそれはディクディクである fact8: もしこの継続看護はアンダーアチーバーでないとすると「あの匆々はノーマルステップである」ということは本当だ fact9: 仮にあの匆々が透析準備期でないならこの継続看護は辛い fact10: 「ディクディクは薄い」ということは正しい fact11: その基本史料はノーマルステップだ fact12: 仮にあるものが長駆するということはないなら追従出来ないかもしくはそれはアンダーアチーバーでないか両方だ fact13: もし仮に何かは長駆するということはないなら「それは辛いかあるいはノーマルステップであるかどちらもだ」ということは成り立つということはない fact14: もし仮にこの継続看護が追従出来ないならあの匆々はノーマルステップだ fact15: もしこの継続看護が長駆すれば透析準備期でないしそれはレーザー脱毛でない fact16: その基本史料は険しい ; $hypothesis$ = 「あの匆々は辛いかあるいはそれはノーマルステップだ」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この継続看護は長駆する; fact15 & assump1 -> int1: この継続看護は透析準備期であるということはなくてレーザー脱毛であるということはない; int1 & fact4 -> int2: その基本史料は薄くない; fact16 & fact7 -> int3: その基本史料はディクディクだ; fact10 -> int4: もしその基本史料はディクディクであるとすれば「それは薄い」ということは本当だ; int3 & int4 -> int5: その基本史料は薄い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この継続看護は長駆しない; fact12 -> int8: この継続看護は長駆しないなら「追従出来るということはないかあるいはアンダーアチーバーでないかあるいは両方ともである」ということは成り立つ; int7 & int8 -> int9: この継続看護は追従出来るということはないかあるいはアンダーアチーバーでないかどちらもだ; int9 & fact14 & fact8 -> int10: あの匆々はノーマルステップである; int10 -> hypothesis; __DISPROVED__
事実1: 「あの匆々は強制乳化法だ」ということは真実であるとすればそれはディクディクだ
事実2: あの下甕は透析準備期であるということはない
事実3: この継続看護はディクディクであるなら長駆しない
事実4: もしもこの継続看護が透析準備期でなくてレーザー脱毛でないならばその基本史料は薄くない
事実5: もしこの継続看護が長駆しないがしかしノーマルステップだとすればあの匆々はレーザー脱毛でない
事実6: あの匆々は薄い
事実7: 仮に「その基本史料は険しい」ということは本当であるとしたらそれはディクディクである
事実8: もしこの継続看護はアンダーアチーバーでないとすると「あの匆々はノーマルステップである」ということは本当だ
事実9: 仮にあの匆々が透析準備期でないならこの継続看護は辛い
事実10: 「ディクディクは薄い」ということは正しい
事実11: その基本史料はノーマルステップだ
事実12: 仮にあるものが長駆するということはないなら追従出来ないかもしくはそれはアンダーアチーバーでないか両方だ
事実13: もし仮に何かは長駆するということはないなら「それは辛いかあるいはノーマルステップであるかどちらもだ」ということは成り立つということはない
事実14: もし仮にこの継続看護が追従出来ないならあの匆々はノーマルステップだ
事実15: もしこの継続看護が長駆すれば透析準備期でないしそれはレーザー脱毛でない
事実16: その基本史料は険しい

仮説: 「あの匆々は辛いかあるいはそれはノーマルステップだ」ということは嘘だ
1. 仮定1: 以下のように仮定する。この継続看護は長駆する
2. 事実15と仮定1から、推論1: "この継続看護は透析準備期であるということはなくてレーザー脱毛であるということはない"が導かれる
3. 推論1と事実4から、推論2: "その基本史料は薄くない"が導かれる
4. 事実16と事実7から、推論3: "その基本史料はディクディクだ"が導かれる
5. 事実10から、推論4: "もしその基本史料はディクディクであるとすれば「それは薄い」ということは本当だ"が導かれる
6. 推論3と推論4から、推論5: "その基本史料は薄い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この継続看護は長駆しない"が導かれる
9. 事実12から、推論8: "この継続看護は長駆しないなら「追従出来るということはないかあるいはアンダーアチーバーでないかあるいは両方ともである」ということは成り立つ"が導かれる
10. 推論7と推論8から、推論9: "この継続看護は追従出来るということはないかあるいはアンダーアチーバーでないかどちらもだ"が導かれる
11. 推論9と事実14と事実8から、推論10: "あの匆々はノーマルステップである"が導かれる
12. 推論10から、仮説が否定される

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