「その一般質問は積分しない」ということは成り立つ
fact1: 仮にあの歌謡映画が火達磨であるかまたは積分しないならばその一般質問は行為主体だということはない fact2: もし仮にその一般質問が火達磨だか行為主体でないとするとあの歌謡映画は積分しない fact3: 仮に「あの歌謡映画は行為主体であるということはない」ということは成り立つならその一般質問は積分するということはない fact4: あの歌謡映画は積分するかまたは火達磨である fact5: あの歌謡映画は行為主体であるかあるいはそれは積分するということはないかあるいは両方だ fact6: あのアグリーメントはおわすかあるいはそれは積分するか両方ともである fact7: あの歌謡映画が行為主体であるか積分しないとしたらその一般質問は火達磨だということはない fact8: その一般質問は人懐こいかもしくはそれは特定分野でない fact9: あの歌謡映画は火達磨であるかそれは行為主体でないかもしくはどちらもである fact10: この慣用語は積分するかまたはそれは罵り続けないか両方ともである fact11: あの歌謡映画が積分しないならばあの一般質問は火達磨でない fact12: もし仮にあの歌謡映画が火達磨であるかあるいはそれは行為主体でないとすればその一般質問は積分しない fact13: その一般質問は火達磨でない fact14: その一般質問は産生出来るということはない fact15: その一般質問が火達磨であるかもしくは積分しないとしたらあの歌謡映画は行為主体でない
fact12 & fact9 -> hypothesis;
fact12 & fact9 -> hypothesis;
$facts$ = fact1: 仮にあの歌謡映画が火達磨であるかまたは積分しないならばその一般質問は行為主体だということはない fact2: もし仮にその一般質問が火達磨だか行為主体でないとするとあの歌謡映画は積分しない fact3: 仮に「あの歌謡映画は行為主体であるということはない」ということは成り立つならその一般質問は積分するということはない fact4: あの歌謡映画は積分するかまたは火達磨である fact5: あの歌謡映画は行為主体であるかあるいはそれは積分するということはないかあるいは両方だ fact6: あのアグリーメントはおわすかあるいはそれは積分するか両方ともである fact7: あの歌謡映画が行為主体であるか積分しないとしたらその一般質問は火達磨だということはない fact8: その一般質問は人懐こいかもしくはそれは特定分野でない fact9: あの歌謡映画は火達磨であるかそれは行為主体でないかもしくはどちらもである fact10: この慣用語は積分するかまたはそれは罵り続けないか両方ともである fact11: あの歌謡映画が積分しないならばあの一般質問は火達磨でない fact12: もし仮にあの歌謡映画が火達磨であるかあるいはそれは行為主体でないとすればその一般質問は積分しない fact13: その一般質問は火達磨でない fact14: その一般質問は産生出来るということはない fact15: その一般質問が火達磨であるかもしくは積分しないとしたらあの歌謡映画は行為主体でない ; $hypothesis$ = 「その一般質問は積分しない」ということは成り立つ ; $proof$ = 
fact12 & fact9 -> hypothesis; __PROVED__
事実1: 仮にあの歌謡映画が火達磨であるかまたは積分しないならばその一般質問は行為主体だということはない
事実2: もし仮にその一般質問が火達磨だか行為主体でないとするとあの歌謡映画は積分しない
事実3: 仮に「あの歌謡映画は行為主体であるということはない」ということは成り立つならその一般質問は積分するということはない
事実4: あの歌謡映画は積分するかまたは火達磨である
事実5: あの歌謡映画は行為主体であるかあるいはそれは積分するということはないかあるいは両方だ
事実6: あのアグリーメントはおわすかあるいはそれは積分するか両方ともである
事実7: あの歌謡映画が行為主体であるか積分しないとしたらその一般質問は火達磨だということはない
事実8: その一般質問は人懐こいかもしくはそれは特定分野でない
事実9: あの歌謡映画は火達磨であるかそれは行為主体でないかもしくはどちらもである
事実10: この慣用語は積分するかまたはそれは罵り続けないか両方ともである
事実11: あの歌謡映画が積分しないならばあの一般質問は火達磨でない
事実12: もし仮にあの歌謡映画が火達磨であるかあるいはそれは行為主体でないとすればその一般質問は積分しない
事実13: その一般質問は火達磨でない
事実14: その一般質問は産生出来るということはない
事実15: その一般質問が火達磨であるかもしくは積分しないとしたらあの歌謡映画は行為主体でない

仮説: 「その一般質問は積分しない」ということは成り立つ
1. 事実12と事実9から、仮説が導かれる

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