もし仮にこの洋式が帰投しないとするとこの師僧は無くさくない
fact1: 仮にこの洋式は帰投しないとすれば「それは適応出来るしそれは慌て者である」ということは誤っている fact2: この洋式は帰投しないとすれば「それは適応出来ない一方で慌て者である」ということは嘘である fact3: もしも「この洋式は適応出来ないがしかしそれは慌て者だ」ということは成り立たないとしたらこの師僧は無くす fact4: もしも「この洋式は適応出来ない一方でそれは慌て者である」ということは偽であるならばこの師僧は無くさくない fact5: 仮になんらかの物は無くすとすれば「従事すらないし加えて帰投する」ということは偽である fact6: 仮にこの国民精神が白いけど時計職人でないとしたらこの師僧は時計職人である fact7: この師僧は無くす fact8: もし仮になにかは時計職人ならば来易い fact9: もしこの師僧は来易いなら「この洋式は太しかもしくは無くすということはないかまたはどちらもだ」ということは成り立つ fact10: もしこの師僧は適応出来ないとしたら「無くさくないしその上それは慌て者である」ということは成り立たない fact11: 仮に「この師僧は適応出来るということはないがしかし帰投する」ということは嘘ならばあの洋式は無くさくない fact12: この洋式が適応出来ればこの師僧は無くすということはない fact13: もしこの洋式は帰投しないなら「この師僧は無くす」ということは嘘でない fact14: この師僧は帰投しない fact15: もしもある物が五年生まれでないとしたらそれは白いし加えて時計職人でない fact16: 「この洋式は適応出来るしおまけに慌て者である」ということは偽だ
void -> assump1: 以下のように仮定する。この洋式は帰投するということはない; fact2 & assump1 -> int1: 「この洋式は適応出来るということはないが慌て者だ」ということは誤りだ; int1 & fact4 -> int2: この師僧は無くさくない; [assump1] & int2 -> hypothesis;
「その本件住宅は従事すらないがそれは帰投する」ということは成り立たない
fact20 -> int3: もしもその本件住宅は無くすとすると「従事すということはないしそれは帰投する」ということは間違いである; fact17 -> int4: もしもこの師僧は時計職人であるならそれは来易い; fact18 -> int5: もしこの国民精神が五年生まれでないなら白いし更にそれは時計職人でない;
$facts$ = fact1: 仮にこの洋式は帰投しないとすれば「それは適応出来るしそれは慌て者である」ということは誤っている fact2: この洋式は帰投しないとすれば「それは適応出来ない一方で慌て者である」ということは嘘である fact3: もしも「この洋式は適応出来ないがしかしそれは慌て者だ」ということは成り立たないとしたらこの師僧は無くす fact4: もしも「この洋式は適応出来ない一方でそれは慌て者である」ということは偽であるならばこの師僧は無くさくない fact5: 仮になんらかの物は無くすとすれば「従事すらないし加えて帰投する」ということは偽である fact6: 仮にこの国民精神が白いけど時計職人でないとしたらこの師僧は時計職人である fact7: この師僧は無くす fact8: もし仮になにかは時計職人ならば来易い fact9: もしこの師僧は来易いなら「この洋式は太しかもしくは無くすということはないかまたはどちらもだ」ということは成り立つ fact10: もしこの師僧は適応出来ないとしたら「無くさくないしその上それは慌て者である」ということは成り立たない fact11: 仮に「この師僧は適応出来るということはないがしかし帰投する」ということは嘘ならばあの洋式は無くさくない fact12: この洋式が適応出来ればこの師僧は無くすということはない fact13: もしこの洋式は帰投しないなら「この師僧は無くす」ということは嘘でない fact14: この師僧は帰投しない fact15: もしもある物が五年生まれでないとしたらそれは白いし加えて時計職人でない fact16: 「この洋式は適応出来るしおまけに慌て者である」ということは偽だ ; $hypothesis$ = もし仮にこの洋式が帰投しないとするとこの師僧は無くさくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この洋式は帰投するということはない; fact2 & assump1 -> int1: 「この洋式は適応出来るということはないが慌て者だ」ということは誤りだ; int1 & fact4 -> int2: この師僧は無くさくない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にこの洋式は帰投しないとすれば「それは適応出来るしそれは慌て者である」ということは誤っている
事実2: この洋式は帰投しないとすれば「それは適応出来ない一方で慌て者である」ということは嘘である
事実3: もしも「この洋式は適応出来ないがしかしそれは慌て者だ」ということは成り立たないとしたらこの師僧は無くす
事実4: もしも「この洋式は適応出来ない一方でそれは慌て者である」ということは偽であるならばこの師僧は無くさくない
事実5: 仮になんらかの物は無くすとすれば「従事すらないし加えて帰投する」ということは偽である
事実6: 仮にこの国民精神が白いけど時計職人でないとしたらこの師僧は時計職人である
事実7: この師僧は無くす
事実8: もし仮になにかは時計職人ならば来易い
事実9: もしこの師僧は来易いなら「この洋式は太しかもしくは無くすということはないかまたはどちらもだ」ということは成り立つ
事実10: もしこの師僧は適応出来ないとしたら「無くさくないしその上それは慌て者である」ということは成り立たない
事実11: 仮に「この師僧は適応出来るということはないがしかし帰投する」ということは嘘ならばあの洋式は無くさくない
事実12: この洋式が適応出来ればこの師僧は無くすということはない
事実13: もしこの洋式は帰投しないなら「この師僧は無くす」ということは嘘でない
事実14: この師僧は帰投しない
事実15: もしもある物が五年生まれでないとしたらそれは白いし加えて時計職人でない
事実16: 「この洋式は適応出来るしおまけに慌て者である」ということは偽だ

仮説: もし仮にこの洋式が帰投しないとするとこの師僧は無くさくない
1. 仮定1: 以下のように仮定する。この洋式は帰投するということはない
2. 事実2と仮定1から、推論1: "「この洋式は適応出来るということはないが慌て者だ」ということは誤りだ"が導かれる
3. 推論1と事実4から、推論2: "この師僧は無くさくない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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