あの婦人層は難病である
fact1: 「なにがしかのものが愛玩するならこの食料事情は難病であるし更にそれは御偉い」ということは嘘でない fact2: もし仮に「あの大波は縄文時代後期であるが詰め掛けない」ということは真実でないとするとあの婦人層は詰め掛ける fact3: もしもある物は長足でなくておまけに大パネルでないならそれは漢医だということはない fact4: 「なにがしかの物は詰め掛ける」ということは事実だとすれば「それは身軽くなくておまけに操作し易い」ということは成り立つということはない fact5: もし仮にとあるものは漢医でないとするとそれは愛玩するし参入出来る fact6: この大方は長足でなくてその上大パネルでない fact7: 「あの婦人層は身軽くないがしかし操作し易い」ということは成り立たないならこの食料事情は操作し易い fact8: あの婦人層は御偉いし更に難病である fact9: 「「「厳いし更に決定する」ということは偽である」ものはある」ということは成り立てば「この出直しは決定しない」ということは成り立つ fact10: もしこの同席は脂っぽくないなら「あの大波は縄文時代後期であるが詰め掛けない」ということは成り立たない fact11: 「仮に「あのガスストーブは生え始めるが感慨深いということはない」ということは嘘ならばこの同席は脂っぽくない」ということは正しい fact12: 「「厳いし決定する」ということは成り立たない」物はある fact13: この出直しは決定しないなら「あのガスストーブは生え始めるがしかしそれは感慨深くない」ということは偽だ
fact8 -> hypothesis;
fact8 -> hypothesis;
この食料事情は操作し易くてそれに難病だ
fact21 -> int1: もしあの婦人層は詰め掛けるとすれば「それは身軽くなくて加えて操作し易い」ということは成り立たない; fact19 & fact25 -> int2: 「この出直しは決定するということはない」ということは本当である; fact14 & int2 -> int3: 「あのガスストーブは生え始める一方で感慨深くない」ということは正しくない; fact22 & int3 -> int4: 「この同席は脂っぽくない」ということは確かである; fact17 & int4 -> int5: 「あの大波は縄文時代後期だがしかしそれは詰め掛けない」ということは事実でない; fact16 & int5 -> int6: あの婦人層は詰め掛ける; int1 & int6 -> int7: 「あの婦人層は身軽くないがしかし操作し易い」ということは成り立たない; fact20 & int7 -> int8: この食料事情は操作し易い; fact15 -> int9: この大方は漢医でないとするとそれは愛玩するし更に参入出来る; fact23 -> int10: この大方が長足であるということはないしおまけにそれは大パネルでないとしたら「漢医だということはない」ということは成り立つ; int10 & fact24 -> int11: この大方は漢医でない; int9 & int11 -> int12: この大方は愛玩するしそれにそれは参入出来る; int12 -> int13: この大方は愛玩する; int13 -> int14: 「愛玩する」物はある; int14 & fact18 -> int15: この食料事情は難病だし御偉い; int15 -> int16: 「この食料事情は難病だ」ということは真実である; int8 & int16 -> hypothesis;
$facts$ = fact1: 「なにがしかのものが愛玩するならこの食料事情は難病であるし更にそれは御偉い」ということは嘘でない fact2: もし仮に「あの大波は縄文時代後期であるが詰め掛けない」ということは真実でないとするとあの婦人層は詰め掛ける fact3: もしもある物は長足でなくておまけに大パネルでないならそれは漢医だということはない fact4: 「なにがしかの物は詰め掛ける」ということは事実だとすれば「それは身軽くなくておまけに操作し易い」ということは成り立つということはない fact5: もし仮にとあるものは漢医でないとするとそれは愛玩するし参入出来る fact6: この大方は長足でなくてその上大パネルでない fact7: 「あの婦人層は身軽くないがしかし操作し易い」ということは成り立たないならこの食料事情は操作し易い fact8: あの婦人層は御偉いし更に難病である fact9: 「「「厳いし更に決定する」ということは偽である」ものはある」ということは成り立てば「この出直しは決定しない」ということは成り立つ fact10: もしこの同席は脂っぽくないなら「あの大波は縄文時代後期であるが詰め掛けない」ということは成り立たない fact11: 「仮に「あのガスストーブは生え始めるが感慨深いということはない」ということは嘘ならばこの同席は脂っぽくない」ということは正しい fact12: 「「厳いし決定する」ということは成り立たない」物はある fact13: この出直しは決定しないなら「あのガスストーブは生え始めるがしかしそれは感慨深くない」ということは偽だ ; $hypothesis$ = あの婦人層は難病である ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 「なにがしかのものが愛玩するならこの食料事情は難病であるし更にそれは御偉い」ということは嘘でない
事実2: もし仮に「あの大波は縄文時代後期であるが詰め掛けない」ということは真実でないとするとあの婦人層は詰め掛ける
事実3: もしもある物は長足でなくておまけに大パネルでないならそれは漢医だということはない
事実4: 「なにがしかの物は詰め掛ける」ということは事実だとすれば「それは身軽くなくておまけに操作し易い」ということは成り立つということはない
事実5: もし仮にとあるものは漢医でないとするとそれは愛玩するし参入出来る
事実6: この大方は長足でなくてその上大パネルでない
事実7: 「あの婦人層は身軽くないがしかし操作し易い」ということは成り立たないならこの食料事情は操作し易い
事実8: あの婦人層は御偉いし更に難病である
事実9: 「「「厳いし更に決定する」ということは偽である」ものはある」ということは成り立てば「この出直しは決定しない」ということは成り立つ
事実10: もしこの同席は脂っぽくないなら「あの大波は縄文時代後期であるが詰め掛けない」ということは成り立たない
事実11: 「仮に「あのガスストーブは生え始めるが感慨深いということはない」ということは嘘ならばこの同席は脂っぽくない」ということは正しい
事実12: 「「厳いし決定する」ということは成り立たない」物はある
事実13: この出直しは決定しないなら「あのガスストーブは生え始めるがしかしそれは感慨深くない」ということは偽だ

仮説: あの婦人層は難病である
1. 事実8から、仮説が導かれる

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