このオーガンジーは五便であるかあるいは苦しい
fact1: もしもこの運動自由度は小屋作りであるということはないなら惜しくなくておまけに河川水利システムでない fact2: 仮に「この運動自由度は小屋作りであるし用法である」ということは間違いだとしたらそれは小屋作りでない fact3: このオーガンジーは間断無い fact4: 仮にあるものが惜しくないならそれは間断無いものであってしかも受け難い fact5: この運動自由度は三十路でない fact6: もしも「間断無い」物はあるとすると「あの復活―死はぬるぬるしないけれど五便である」ということは成り立たない fact7: その縞模様は間断無い fact8: もしも「この運動自由度はぬるぬるするし受け難い」ということは成り立たないとするとあの復活―死は間断無くない fact9: もし「「ぬるぬるしない一方で五便だ」ということは間違っている」物があるならばあのオーガンジーはぬるぬるする fact10: この運動自由度は三十路でないとすれば「小屋作りであるししかも用法である」ということは誤りだ fact11: もしあの復活―死は間断無くないとすれば「このオーガンジーは五便であるか苦しいかもしくは両方だ」ということは成り立たない fact12: このオーガンジーは五便であるし間断無い
fact12 -> int1: このオーガンジーは五便である; int1 -> hypothesis;
このオーガンジーはぬるぬるするかもしくは苦しいかまたは両方だ
fact14 -> int2: もしこの運動自由度が惜しくないならばそれは間断無いしまた受け難い; fact18 & fact19 -> int3: 「この運動自由度は小屋作りでしかも用法だ」ということは成り立たない; fact15 & int3 -> int4: この運動自由度は小屋作りであるということはない; fact16 & int4 -> int5: この運動自由度は惜しくないしさらに河川水利システムでない; int5 -> int6: この運動自由度は惜しくない; int2 & int6 -> int7: この運動自由度は間断無くてかつそれは受け難い; int7 -> int8: この運動自由度は間断無い; int8 -> int9: 間断無いものはある; int9 & fact13 -> int10: 「あの復活―死はぬるぬるしない一方で五便である」ということは成り立たない; int10 -> int11: 「「ぬるぬるしなくてまた五便である」ということは成り立たない」ものはある; int11 & fact17 -> int12: このオーガンジーはぬるぬるする; int12 -> hypothesis;
$facts$ = fact1: もしもこの運動自由度は小屋作りであるということはないなら惜しくなくておまけに河川水利システムでない fact2: 仮に「この運動自由度は小屋作りであるし用法である」ということは間違いだとしたらそれは小屋作りでない fact3: このオーガンジーは間断無い fact4: 仮にあるものが惜しくないならそれは間断無いものであってしかも受け難い fact5: この運動自由度は三十路でない fact6: もしも「間断無い」物はあるとすると「あの復活―死はぬるぬるしないけれど五便である」ということは成り立たない fact7: その縞模様は間断無い fact8: もしも「この運動自由度はぬるぬるするし受け難い」ということは成り立たないとするとあの復活―死は間断無くない fact9: もし「「ぬるぬるしない一方で五便だ」ということは間違っている」物があるならばあのオーガンジーはぬるぬるする fact10: この運動自由度は三十路でないとすれば「小屋作りであるししかも用法である」ということは誤りだ fact11: もしあの復活―死は間断無くないとすれば「このオーガンジーは五便であるか苦しいかもしくは両方だ」ということは成り立たない fact12: このオーガンジーは五便であるし間断無い ; $hypothesis$ = このオーガンジーは五便であるかあるいは苦しい ; $proof$ = 
fact12 -> int1: このオーガンジーは五便である; int1 -> hypothesis; __PROVED__
事実1: もしもこの運動自由度は小屋作りであるということはないなら惜しくなくておまけに河川水利システムでない
事実2: 仮に「この運動自由度は小屋作りであるし用法である」ということは間違いだとしたらそれは小屋作りでない
事実3: このオーガンジーは間断無い
事実4: 仮にあるものが惜しくないならそれは間断無いものであってしかも受け難い
事実5: この運動自由度は三十路でない
事実6: もしも「間断無い」物はあるとすると「あの復活―死はぬるぬるしないけれど五便である」ということは成り立たない
事実7: その縞模様は間断無い
事実8: もしも「この運動自由度はぬるぬるするし受け難い」ということは成り立たないとするとあの復活―死は間断無くない
事実9: もし「「ぬるぬるしない一方で五便だ」ということは間違っている」物があるならばあのオーガンジーはぬるぬるする
事実10: この運動自由度は三十路でないとすれば「小屋作りであるししかも用法である」ということは誤りだ
事実11: もしあの復活―死は間断無くないとすれば「このオーガンジーは五便であるか苦しいかもしくは両方だ」ということは成り立たない
事実12: このオーガンジーは五便であるし間断無い

仮説: このオーガンジーは五便であるかあるいは苦しい
1. 事実12から、推論1: "このオーガンジーは五便である"が導かれる
2. 推論1から、仮説が導かれる

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