「あの積み立て方式は向上策でないが物悲しい」ということは成り立つということはない
fact1: もし「なにがしかの物はサブユニット構造でない」ということは本当だとすればそれは向上策でなくて物悲しい fact2: 「あの積み立て方式は見積もらないけれど押さえる」ということは間違いだ fact3: もし仮に施設内感染が批判しないとしたらその不利情報は解消出来ない fact4: もし仮にあのリッターが具するとすると向上策でない fact5: あの積み立て方式は押さえない fact6: 「仮に「その不利情報は取り扱い易いかまたはそれは整備事業でない」ということは成り立たないとすればあの実用新案法は整備事業でない」ということは成り立つ fact7: あの山村屋は借り易いけど海草類であるということはない fact8: もしもなにがしかのものが盆綱であるとすると施設内感染でかつそれは批判しない fact9: 「あの積み立て方式は向上策であるし物悲しい」ということは成り立たない fact10: もしも借り易いものは海草類でないならそれは盆綱である fact11: あのリッターは具するかまたは押さえないかあるいは両方ともである fact12: もしもあのリッターは向上策でないとすると「あの積み立て方式は向上策でないけど物悲しい」ということは成り立たない fact13: 仮に「あの実用新案法は整備事業でない」ということは確かであるならば「あのリッターはサブユニット構造であるし逸らす」ということは嘘だ fact14: もし仮にあのリッターが具するかあるいはそれは押さえないかもしくは両方であるとしたら向上策でない fact15: もしも何かは解消出来ないなら「それは取り扱い易いか整備事業でないかまたはどちらもだ」ということは成り立たない fact16: もし仮にあのリッターは向上策でないとすれば「「あの積み立て方式は向上策であるしそれは物悲しい」ということは間違っている」ということは成り立つ
fact14 & fact11 -> int1: あのリッターは向上策でない; int1 & fact12 -> hypothesis;
fact14 & fact11 -> int1: ¬{B}{a}; int1 & fact12 -> hypothesis;
あの積み立て方式は向上策でない一方で物悲しい
fact18 -> int2: もし仮にあの積み立て方式がサブユニット構造でないとしたらそれは向上策だということはないしそれに物悲しい; fact24 -> int3: 仮に「その不利情報は解消出来ない」ということは本当だとしたら「「取り扱い易いかもしくは整備事業でないか両方ともだ」ということは誤りでない」ということは成り立たない; fact22 -> int4: もし仮にあの山村屋が盆綱ならば施設内感染でしかも批判しない; fact17 -> int5: もし仮にあの山村屋が借り易い一方でそれは海草類でないならばそれは盆綱である; int5 & fact23 -> int6: あの山村屋は盆綱である; int4 & int6 -> int7: あの山村屋は施設内感染であるけれど批判しない; int7 -> int8: 「施設内感染だし更に批判しない」ものはある; int8 & fact20 -> int9: その不利情報は解消出来ない; int3 & int9 -> int10: 「その不利情報は取り扱い易いかまたはそれは整備事業でないかもしくはどちらもである」ということは誤っている; fact19 & int10 -> int11: あの実用新案法は整備事業であるということはない; fact21 & int11 -> int12: 「あのリッターはサブユニット構造であるししかも逸らす」ということは間違いだ; int12 -> int13: 「「サブユニット構造であるしまた逸らす」ということは間違っている」物はある;
$facts$ = fact1: もし「なにがしかの物はサブユニット構造でない」ということは本当だとすればそれは向上策でなくて物悲しい fact2: 「あの積み立て方式は見積もらないけれど押さえる」ということは間違いだ fact3: もし仮に施設内感染が批判しないとしたらその不利情報は解消出来ない fact4: もし仮にあのリッターが具するとすると向上策でない fact5: あの積み立て方式は押さえない fact6: 「仮に「その不利情報は取り扱い易いかまたはそれは整備事業でない」ということは成り立たないとすればあの実用新案法は整備事業でない」ということは成り立つ fact7: あの山村屋は借り易いけど海草類であるということはない fact8: もしもなにがしかのものが盆綱であるとすると施設内感染でかつそれは批判しない fact9: 「あの積み立て方式は向上策であるし物悲しい」ということは成り立たない fact10: もしも借り易いものは海草類でないならそれは盆綱である fact11: あのリッターは具するかまたは押さえないかあるいは両方ともである fact12: もしもあのリッターは向上策でないとすると「あの積み立て方式は向上策でないけど物悲しい」ということは成り立たない fact13: 仮に「あの実用新案法は整備事業でない」ということは確かであるならば「あのリッターはサブユニット構造であるし逸らす」ということは嘘だ fact14: もし仮にあのリッターが具するかあるいはそれは押さえないかもしくは両方であるとしたら向上策でない fact15: もしも何かは解消出来ないなら「それは取り扱い易いか整備事業でないかまたはどちらもだ」ということは成り立たない fact16: もし仮にあのリッターは向上策でないとすれば「「あの積み立て方式は向上策であるしそれは物悲しい」ということは間違っている」ということは成り立つ ; $hypothesis$ = 「あの積み立て方式は向上策でないが物悲しい」ということは成り立つということはない ; $proof$ = 
fact14 & fact11 -> int1: あのリッターは向上策でない; int1 & fact12 -> hypothesis; __PROVED__
事実1: もし「なにがしかの物はサブユニット構造でない」ということは本当だとすればそれは向上策でなくて物悲しい
事実2: 「あの積み立て方式は見積もらないけれど押さえる」ということは間違いだ
事実3: もし仮に施設内感染が批判しないとしたらその不利情報は解消出来ない
事実4: もし仮にあのリッターが具するとすると向上策でない
事実5: あの積み立て方式は押さえない
事実6: 「仮に「その不利情報は取り扱い易いかまたはそれは整備事業でない」ということは成り立たないとすればあの実用新案法は整備事業でない」ということは成り立つ
事実7: あの山村屋は借り易いけど海草類であるということはない
事実8: もしもなにがしかのものが盆綱であるとすると施設内感染でかつそれは批判しない
事実9: 「あの積み立て方式は向上策であるし物悲しい」ということは成り立たない
事実10: もしも借り易いものは海草類でないならそれは盆綱である
事実11: あのリッターは具するかまたは押さえないかあるいは両方ともである
事実12: もしもあのリッターは向上策でないとすると「あの積み立て方式は向上策でないけど物悲しい」ということは成り立たない
事実13: 仮に「あの実用新案法は整備事業でない」ということは確かであるならば「あのリッターはサブユニット構造であるし逸らす」ということは嘘だ
事実14: もし仮にあのリッターが具するかあるいはそれは押さえないかもしくは両方であるとしたら向上策でない
事実15: もしも何かは解消出来ないなら「それは取り扱い易いか整備事業でないかまたはどちらもだ」ということは成り立たない
事実16: もし仮にあのリッターは向上策でないとすれば「「あの積み立て方式は向上策であるしそれは物悲しい」ということは間違っている」ということは成り立つ

仮説: 「あの積み立て方式は向上策でないが物悲しい」ということは成り立つということはない
1. 事実14と事実11から、推論1: "あのリッターは向上策でない"が導かれる
2. 推論1と事実12から、仮説が導かれる

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