「仮に「俗っぽいということはなくて更にこせこせするということはない」ということは偽なら「居住空間でない」ということは成り立つ」物はある
fact1: 「もしもこせこせするとすれば居住空間でない」物はある fact2: 「仮に俗っぽいとすれば居住空間でない」物はある fact3: 仮に「なにがしかのものは作業し易くないしそれに分かり辛くない」ということは間違いだとすればそれは氏子町内でない fact4: 仮にこの無動・寡動は俗っぽいならば「居住空間でない」ということは真実である fact5: もし「この無動・寡動は俗っぽくなくてまたこせこせしない」ということは偽だとしたらそれは居住空間である fact6: 「「この無動・寡動は俗っぽくないしこせこせしない」ということは成り立たない」ということは確かだとすると「それは居住空間でない」ということは事実だ fact7: 「仮に御迎え出来ないしかつ比丘達でないとするとフォークリフトでない」物はある
fact6 -> hypothesis;
「もし仮に「作業し易くないし分かり辛くない」ということは成り立たないならば氏子町内でない」物はある
fact8 -> int1: 仮に「あの徒は作業し易くないしかつ分かり辛いということはない」ということは成り立たないとすればそれは氏子町内だということはない; int1 -> hypothesis;
$facts$ = fact1: 「もしもこせこせするとすれば居住空間でない」物はある fact2: 「仮に俗っぽいとすれば居住空間でない」物はある fact3: 仮に「なにがしかのものは作業し易くないしそれに分かり辛くない」ということは間違いだとすればそれは氏子町内でない fact4: 仮にこの無動・寡動は俗っぽいならば「居住空間でない」ということは真実である fact5: もし「この無動・寡動は俗っぽくなくてまたこせこせしない」ということは偽だとしたらそれは居住空間である fact6: 「「この無動・寡動は俗っぽくないしこせこせしない」ということは成り立たない」ということは確かだとすると「それは居住空間でない」ということは事実だ fact7: 「仮に御迎え出来ないしかつ比丘達でないとするとフォークリフトでない」物はある ; $hypothesis$ = 「仮に「俗っぽいということはなくて更にこせこせするということはない」ということは偽なら「居住空間でない」ということは成り立つ」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「もしもこせこせするとすれば居住空間でない」物はある
事実2: 「仮に俗っぽいとすれば居住空間でない」物はある
事実3: 仮に「なにがしかのものは作業し易くないしそれに分かり辛くない」ということは間違いだとすればそれは氏子町内でない
事実4: 仮にこの無動・寡動は俗っぽいならば「居住空間でない」ということは真実である
事実5: もし「この無動・寡動は俗っぽくなくてまたこせこせしない」ということは偽だとしたらそれは居住空間である
事実6: 「「この無動・寡動は俗っぽくないしこせこせしない」ということは成り立たない」ということは確かだとすると「それは居住空間でない」ということは事実だ
事実7: 「仮に御迎え出来ないしかつ比丘達でないとするとフォークリフトでない」物はある

仮説: 「仮に「俗っぽいということはなくて更にこせこせするということはない」ということは偽なら「居住空間でない」ということは成り立つ」物はある
1. 事実6から、仮説が導かれる

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