あの無意識層は与格構文だということはない
fact1: あの御墨付は横座りする fact2: もし仮にその執着心は働き易いということはなくておまけに与格構文だということはないならば「あの無意識層は与格構文だ」ということは成り立つ fact3: もし仮にあるものが描き方でなくて横座りしないとするとそれは働き易くない fact4: もし仮に「なにがしかの物は働き易いがしかし恵でない」ということは確かでないとしたらそれは調べ学習でない fact5: その執着心は描き方でない fact6: 仮に何らかのものが調べ学習でないならそれは描き方でなくてその上横座りしない fact7: もしもあの無意識層が働き易くないとすればその執着心は移動し易いということはないし更に恵でない fact8: 移動し易くないものは恵であるけど描き方でない fact9: この瘢痕形成は横座りする fact10: もしもなにがしかのものは調べ学習であるということはないならば「移動し易いしその上居住者である」ということは誤りである fact11: もしもその血行性は生々しかないとしたら「あの無意識層は居住者であるしまた空間群である」ということは間違いでない fact12: この新任書院番頭は調べ学習でない fact13: 仮にこの瘢痕形成は与格構文であるなら「その執着心は与格構文でない」ということは成り立つ fact14: もしも何らかのものは居住者であるなら「それは調べ学習であるし与格構文でない」ということは真実でない fact15: もしその執着心が恵でなくてそれに描き方でないならばこの瘢痕形成は横座りするということはない fact16: もし仮にその贅沢三昧が御若いし更に平準だとすればあの血行性は生々しかない fact17: もし仮に「その執着心は移動し易くてまた居住者だ」ということは成り立たないならば「あの無意識層は与格構文でない」ということは確かだ fact18: もしもその執着心が移動し易くないしおまけに恵でないならばあの瘢痕形成は移動し易い fact19: その血行性は移動し易くない
void -> assump1: 以下のように仮定する。その執着心は働き易いけど恵でない; assump1 -> int1: その執着心は恵でない; int1 & fact5 -> int2: その執着心は恵でなくてその上それは描き方でない; int2 & fact15 -> int3: この瘢痕形成は横座りするということはない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その執着心は働き易いがしかし恵でない」ということは嘘だ; fact4 -> int6: 「その執着心は働き易いけれど恵だということはない」ということは間違っているならそれは調べ学習でない; int5 & int6 -> int7: その執着心は調べ学習でない; fact10 -> int8: もしもその執着心は調べ学習であるということはないなら「移動し易くてまたそれは居住者である」ということは成り立たない; int7 & int8 -> int9: 「「その執着心は移動し易くて居住者である」ということは間違いである」ということは成り立つ; int9 & fact17 -> hypothesis;
この瘢痕形成は移動し易い
fact23 -> int10: もしもあの無意識層が描き方でないし更に横座りしないとすればそれは働き易くない; fact25 -> int11: あの無意識層は調べ学習でないならばそれは描き方でなくて加えて横座りしない; fact26 -> int12: もしあの無意識層は居住者だとすれば「調べ学習であるしかつそれは与格構文でない」ということは誤っている;
$facts$ = fact1: あの御墨付は横座りする fact2: もし仮にその執着心は働き易いということはなくておまけに与格構文だということはないならば「あの無意識層は与格構文だ」ということは成り立つ fact3: もし仮にあるものが描き方でなくて横座りしないとするとそれは働き易くない fact4: もし仮に「なにがしかの物は働き易いがしかし恵でない」ということは確かでないとしたらそれは調べ学習でない fact5: その執着心は描き方でない fact6: 仮に何らかのものが調べ学習でないならそれは描き方でなくてその上横座りしない fact7: もしもあの無意識層が働き易くないとすればその執着心は移動し易いということはないし更に恵でない fact8: 移動し易くないものは恵であるけど描き方でない fact9: この瘢痕形成は横座りする fact10: もしもなにがしかのものは調べ学習であるということはないならば「移動し易いしその上居住者である」ということは誤りである fact11: もしもその血行性は生々しかないとしたら「あの無意識層は居住者であるしまた空間群である」ということは間違いでない fact12: この新任書院番頭は調べ学習でない fact13: 仮にこの瘢痕形成は与格構文であるなら「その執着心は与格構文でない」ということは成り立つ fact14: もしも何らかのものは居住者であるなら「それは調べ学習であるし与格構文でない」ということは真実でない fact15: もしその執着心が恵でなくてそれに描き方でないならばこの瘢痕形成は横座りするということはない fact16: もし仮にその贅沢三昧が御若いし更に平準だとすればあの血行性は生々しかない fact17: もし仮に「その執着心は移動し易くてまた居住者だ」ということは成り立たないならば「あの無意識層は与格構文でない」ということは確かだ fact18: もしもその執着心が移動し易くないしおまけに恵でないならばあの瘢痕形成は移動し易い fact19: その血行性は移動し易くない ; $hypothesis$ = あの無意識層は与格構文だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その執着心は働き易いけど恵でない; assump1 -> int1: その執着心は恵でない; int1 & fact5 -> int2: その執着心は恵でなくてその上それは描き方でない; int2 & fact15 -> int3: この瘢痕形成は横座りするということはない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その執着心は働き易いがしかし恵でない」ということは嘘だ; fact4 -> int6: 「その執着心は働き易いけれど恵だということはない」ということは間違っているならそれは調べ学習でない; int5 & int6 -> int7: その執着心は調べ学習でない; fact10 -> int8: もしもその執着心は調べ学習であるということはないなら「移動し易くてまたそれは居住者である」ということは成り立たない; int7 & int8 -> int9: 「「その執着心は移動し易くて居住者である」ということは間違いである」ということは成り立つ; int9 & fact17 -> hypothesis; __PROVED__
事実1: あの御墨付は横座りする
事実2: もし仮にその執着心は働き易いということはなくておまけに与格構文だということはないならば「あの無意識層は与格構文だ」ということは成り立つ
事実3: もし仮にあるものが描き方でなくて横座りしないとするとそれは働き易くない
事実4: もし仮に「なにがしかの物は働き易いがしかし恵でない」ということは確かでないとしたらそれは調べ学習でない
事実5: その執着心は描き方でない
事実6: 仮に何らかのものが調べ学習でないならそれは描き方でなくてその上横座りしない
事実7: もしもあの無意識層が働き易くないとすればその執着心は移動し易いということはないし更に恵でない
事実8: 移動し易くないものは恵であるけど描き方でない
事実9: この瘢痕形成は横座りする
事実10: もしもなにがしかのものは調べ学習であるということはないならば「移動し易いしその上居住者である」ということは誤りである
事実11: もしもその血行性は生々しかないとしたら「あの無意識層は居住者であるしまた空間群である」ということは間違いでない
事実12: この新任書院番頭は調べ学習でない
事実13: 仮にこの瘢痕形成は与格構文であるなら「その執着心は与格構文でない」ということは成り立つ
事実14: もしも何らかのものは居住者であるなら「それは調べ学習であるし与格構文でない」ということは真実でない
事実15: もしその執着心が恵でなくてそれに描き方でないならばこの瘢痕形成は横座りするということはない
事実16: もし仮にその贅沢三昧が御若いし更に平準だとすればあの血行性は生々しかない
事実17: もし仮に「その執着心は移動し易くてまた居住者だ」ということは成り立たないならば「あの無意識層は与格構文でない」ということは確かだ
事実18: もしもその執着心が移動し易くないしおまけに恵でないならばあの瘢痕形成は移動し易い
事実19: その血行性は移動し易くない

仮説: あの無意識層は与格構文だということはない
1. 仮定1: 以下のように仮定する。その執着心は働き易いけど恵でない
2. 仮定1から、推論1: "その執着心は恵でない"が導かれる
3. 推論1と事実5から、推論2: "その執着心は恵でなくてその上それは描き方でない"が導かれる
4. 推論2と事実15から、推論3: "この瘢痕形成は横座りするということはない"が導かれる
5. 推論3と事実9から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その執着心は働き易いがしかし恵でない」ということは嘘だ"が導かれる
7. 事実4から、推論6: "「その執着心は働き易いけれど恵だということはない」ということは間違っているならそれは調べ学習でない"が導かれる
8. 推論5と推論6から、推論7: "その執着心は調べ学習でない"が導かれる
9. 事実10から、推論8: "もしもその執着心は調べ学習であるということはないなら「移動し易くてまたそれは居住者である」ということは成り立たない"が導かれる
10. 推論7と推論8から、推論9: "「「その執着心は移動し易くて居住者である」ということは間違いである」ということは成り立つ"が導かれる
11. 推論9と事実17から、仮説が導かれる

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