あのペンちゃんは実践出来るということはなくてダートコースでない
fact1: 仮に「何かは病院職員であるがしかしそれはしんどかない」ということは嘘だとするとそれは御察し致さない fact2: 「あのペンちゃんはダートコースでない」ということは真実である fact3: もし仮に「ある物は生温くないししかも書き連ねない」ということは誤りなら帰国する fact4: この総務は病院職員である fact5: 「「御察し致す」ということは成り立つ」ものはあるとすれば「この企画はしんどいかそれは帰国する」ということは真実でない fact6: 仮にあのペンちゃんは生温くないとすれば「ダートコースでない」ということは確かである fact7: もし仮にこの企画が上り易いならばこの総務は流る fact8: 仮にあのペンちゃんが生温いということはないとしたらそれは実践出来ないしそれにそれはダートコースでない fact9: この着手が生き物達でないしおまけに見過ごし難くないならばあの結跏趺坐は生き物達でない fact10: もし仮に「この着手は布達するということはないし更にそれは一致率でない」ということは間違っているとすればこの総務は病院職員だということはない fact11: 仮に「あの結跏趺坐は帰国する」ということは真実であるとすれば「あのペンちゃんは病院職員であるがしんどかない」ということは偽だ fact12: もし仮にあの結跏趺坐は御察し致さないとすると「この着手は布達するけれど一致率でない」ということは誤りである fact13: もし「この企画はしんどいかまたは帰国するかもしくはどちらもである」ということは正しいということはないならば「あのペンちゃんは生温くない」ということは成り立つ fact14: 「この着手は布達するけどそれは一致率でない」ということは成り立つということはない fact15: 仮になにかは生き物達でないとしたら「それは生温くないしさらに書き連ねるということはない」ということは成り立たない fact16: この企画は疎外しない fact17: 仮になにがしかのものは御察し致さないならば「それは実践出来なくてまたダートコースでない」ということは成り立つということはない fact18: もしもこの企画が疎外しないなら上り易いかまたはそれは住所氏名であるかあるいは両方ともである fact19: 「御察し致す」物があるとすればこの企画はしんどかない fact20: もし「あの結跏趺坐は御察し致さない」ということは確かであるとすれば「この着手は布達するということはないし一致率でない」ということは事実と異なる
void -> assump1: 以下のように仮定する。あの結跏趺坐は御察し致さない; fact20 & assump1 -> int1: 「この着手は布達しないしそれは一致率でない」ということは成り立たない; int1 & fact10 -> int2: この総務は病院職員でない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの結跏趺坐は御察し致す; int4 -> int5: 「御察し致す」ものはある; int5 & fact5 -> int6: 「この企画はしんどいかそれは帰国するかあるいは両方ともだ」ということは間違っている; int6 & fact13 -> int7: あのペンちゃんは生温くない; int7 & fact8 -> hypothesis;
「あのペンちゃんは実践出来ないしその上ダートコースでない」ということは成り立たない
fact26 -> int8: もし仮にあのペンちゃんは御察し致さないならば「実践出来ないしさらにダートコースでない」ということは成り立たない; fact27 -> int9: もしも「あのペンちゃんは病院職員だ一方でしんどかない」ということは成り立たないとしたら御察し致さない; fact23 -> int10: 仮に「あの結跏趺坐が生温いということはないしさらにそれは書き連ねない」ということは成り立たないならそれは帰国する; fact25 -> int11: 仮にあの結跏趺坐は生き物達でないなら「「それが生温くないしさらに書き連ねない」ということは誤りでない」ということは嘘だ; fact22 & fact29 -> int12: この企画は上り易いかあるいは住所氏名であるかあるいはどちらもだ;
$facts$ = fact1: 仮に「何かは病院職員であるがしかしそれはしんどかない」ということは嘘だとするとそれは御察し致さない fact2: 「あのペンちゃんはダートコースでない」ということは真実である fact3: もし仮に「ある物は生温くないししかも書き連ねない」ということは誤りなら帰国する fact4: この総務は病院職員である fact5: 「「御察し致す」ということは成り立つ」ものはあるとすれば「この企画はしんどいかそれは帰国する」ということは真実でない fact6: 仮にあのペンちゃんは生温くないとすれば「ダートコースでない」ということは確かである fact7: もし仮にこの企画が上り易いならばこの総務は流る fact8: 仮にあのペンちゃんが生温いということはないとしたらそれは実践出来ないしそれにそれはダートコースでない fact9: この着手が生き物達でないしおまけに見過ごし難くないならばあの結跏趺坐は生き物達でない fact10: もし仮に「この着手は布達するということはないし更にそれは一致率でない」ということは間違っているとすればこの総務は病院職員だということはない fact11: 仮に「あの結跏趺坐は帰国する」ということは真実であるとすれば「あのペンちゃんは病院職員であるがしんどかない」ということは偽だ fact12: もし仮にあの結跏趺坐は御察し致さないとすると「この着手は布達するけれど一致率でない」ということは誤りである fact13: もし「この企画はしんどいかまたは帰国するかもしくはどちらもである」ということは正しいということはないならば「あのペンちゃんは生温くない」ということは成り立つ fact14: 「この着手は布達するけどそれは一致率でない」ということは成り立つということはない fact15: 仮になにかは生き物達でないとしたら「それは生温くないしさらに書き連ねるということはない」ということは成り立たない fact16: この企画は疎外しない fact17: 仮になにがしかのものは御察し致さないならば「それは実践出来なくてまたダートコースでない」ということは成り立つということはない fact18: もしもこの企画が疎外しないなら上り易いかまたはそれは住所氏名であるかあるいは両方ともである fact19: 「御察し致す」物があるとすればこの企画はしんどかない fact20: もし「あの結跏趺坐は御察し致さない」ということは確かであるとすれば「この着手は布達するということはないし一致率でない」ということは事実と異なる ; $hypothesis$ = あのペンちゃんは実践出来るということはなくてダートコースでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの結跏趺坐は御察し致さない; fact20 & assump1 -> int1: 「この着手は布達しないしそれは一致率でない」ということは成り立たない; int1 & fact10 -> int2: この総務は病院職員でない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの結跏趺坐は御察し致す; int4 -> int5: 「御察し致す」ものはある; int5 & fact5 -> int6: 「この企画はしんどいかそれは帰国するかあるいは両方ともだ」ということは間違っている; int6 & fact13 -> int7: あのペンちゃんは生温くない; int7 & fact8 -> hypothesis; __PROVED__
事実1: 仮に「何かは病院職員であるがしかしそれはしんどかない」ということは嘘だとするとそれは御察し致さない
事実2: 「あのペンちゃんはダートコースでない」ということは真実である
事実3: もし仮に「ある物は生温くないししかも書き連ねない」ということは誤りなら帰国する
事実4: この総務は病院職員である
事実5: 「「御察し致す」ということは成り立つ」ものはあるとすれば「この企画はしんどいかそれは帰国する」ということは真実でない
事実6: 仮にあのペンちゃんは生温くないとすれば「ダートコースでない」ということは確かである
事実7: もし仮にこの企画が上り易いならばこの総務は流る
事実8: 仮にあのペンちゃんが生温いということはないとしたらそれは実践出来ないしそれにそれはダートコースでない
事実9: この着手が生き物達でないしおまけに見過ごし難くないならばあの結跏趺坐は生き物達でない
事実10: もし仮に「この着手は布達するということはないし更にそれは一致率でない」ということは間違っているとすればこの総務は病院職員だということはない
事実11: 仮に「あの結跏趺坐は帰国する」ということは真実であるとすれば「あのペンちゃんは病院職員であるがしんどかない」ということは偽だ
事実12: もし仮にあの結跏趺坐は御察し致さないとすると「この着手は布達するけれど一致率でない」ということは誤りである
事実13: もし「この企画はしんどいかまたは帰国するかもしくはどちらもである」ということは正しいということはないならば「あのペンちゃんは生温くない」ということは成り立つ
事実14: 「この着手は布達するけどそれは一致率でない」ということは成り立つということはない
事実15: 仮になにかは生き物達でないとしたら「それは生温くないしさらに書き連ねるということはない」ということは成り立たない
事実16: この企画は疎外しない
事実17: 仮になにがしかのものは御察し致さないならば「それは実践出来なくてまたダートコースでない」ということは成り立つということはない
事実18: もしもこの企画が疎外しないなら上り易いかまたはそれは住所氏名であるかあるいは両方ともである
事実19: 「御察し致す」物があるとすればこの企画はしんどかない
事実20: もし「あの結跏趺坐は御察し致さない」ということは確かであるとすれば「この着手は布達するということはないし一致率でない」ということは事実と異なる

仮説: あのペンちゃんは実践出来るということはなくてダートコースでない
1. 仮定1: 以下のように仮定する。あの結跏趺坐は御察し致さない
2. 事実20と仮定1から、推論1: "「この着手は布達しないしそれは一致率でない」ということは成り立たない"が導かれる
3. 推論1と事実10から、推論2: "この総務は病院職員でない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの結跏趺坐は御察し致す"が導かれる
6. 推論4から、推論5: "「御察し致す」ものはある"が導かれる
7. 推論5と事実5から、推論6: "「この企画はしんどいかそれは帰国するかあるいは両方ともだ」ということは間違っている"が導かれる
8. 推論6と事実13から、推論7: "あのペンちゃんは生温くない"が導かれる
9. 推論7と事実8から、仮説が導かれる

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