あの間接部門は吹け上がる
fact1: 「あの間接部門は対抗出来ないが合い難い」ということは偽だ fact2: この町作り懇談会は吹け上がる fact3: その学研は青いししかも溶出する fact4: その元老は布教師である fact5: このＣＢＤは吹け上がるし足幅である fact6: 仮にあの間接部門は対抗出来るなら「それは満州事変でない一方で知り合いらしい」ということは間違いである fact7: あの間接部門は布教師であるし偉業だ fact8: 戻し易くないものは合い難いということはないけど根治性である fact9: 「あの間接部門は布教師であるし更に吹け上がる」ということは成り立つ fact10: もしもあの間接部門が根治性だということはないならそれは布教師であるしその上満州事変だ fact11: あの間接部門は布教師である fact12: もしも「あの間接部門は満州事変でないが知り合いらしい」ということは成り立たないならばそのフランス料理は恐れ多い fact13: あの間接部門は吸い続けるしそれに布教師だ fact14: もし仮に布教師が知り合いらしいならばそれは吹け上がらない fact15: あの間接部門は居辛い fact16: あの間接部門は御年玉でまた求刑する fact17: もし仮に「とある物は対抗出来ない一方で合い難い」ということは嘘ならそれは根治性でない fact18: もし仮にあの畿内説は合い難いということはないけれど根治性であるならば「そのフランス料理は根治性でない」ということは事実である
fact9 -> hypothesis;
fact9 -> hypothesis;
あの間接部門は吹け上がらない
fact20 -> int1: もしあの間接部門が布教師だし更に知り合いらしいとすると吹け上がらない; fact21 -> int2: もし「あの間接部門は対抗出来ないがそれは合い難い」ということは成り立つということはないとすれば根治性でない; int2 & fact19 -> int3: 「あの間接部門は根治性でない」ということは真実である; fact22 & int3 -> int4: あの間接部門は布教師でそれは満州事変である; int4 -> int5: あの間接部門は布教師である;
$facts$ = fact1: 「あの間接部門は対抗出来ないが合い難い」ということは偽だ fact2: この町作り懇談会は吹け上がる fact3: その学研は青いししかも溶出する fact4: その元老は布教師である fact5: このＣＢＤは吹け上がるし足幅である fact6: 仮にあの間接部門は対抗出来るなら「それは満州事変でない一方で知り合いらしい」ということは間違いである fact7: あの間接部門は布教師であるし偉業だ fact8: 戻し易くないものは合い難いということはないけど根治性である fact9: 「あの間接部門は布教師であるし更に吹け上がる」ということは成り立つ fact10: もしもあの間接部門が根治性だということはないならそれは布教師であるしその上満州事変だ fact11: あの間接部門は布教師である fact12: もしも「あの間接部門は満州事変でないが知り合いらしい」ということは成り立たないならばそのフランス料理は恐れ多い fact13: あの間接部門は吸い続けるしそれに布教師だ fact14: もし仮に布教師が知り合いらしいならばそれは吹け上がらない fact15: あの間接部門は居辛い fact16: あの間接部門は御年玉でまた求刑する fact17: もし仮に「とある物は対抗出来ない一方で合い難い」ということは嘘ならそれは根治性でない fact18: もし仮にあの畿内説は合い難いということはないけれど根治性であるならば「そのフランス料理は根治性でない」ということは事実である ; $hypothesis$ = あの間接部門は吹け上がる ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 「あの間接部門は対抗出来ないが合い難い」ということは偽だ
事実2: この町作り懇談会は吹け上がる
事実3: その学研は青いししかも溶出する
事実4: その元老は布教師である
事実5: このＣＢＤは吹け上がるし足幅である
事実6: 仮にあの間接部門は対抗出来るなら「それは満州事変でない一方で知り合いらしい」ということは間違いである
事実7: あの間接部門は布教師であるし偉業だ
事実8: 戻し易くないものは合い難いということはないけど根治性である
事実9: 「あの間接部門は布教師であるし更に吹け上がる」ということは成り立つ
事実10: もしもあの間接部門が根治性だということはないならそれは布教師であるしその上満州事変だ
事実11: あの間接部門は布教師である
事実12: もしも「あの間接部門は満州事変でないが知り合いらしい」ということは成り立たないならばそのフランス料理は恐れ多い
事実13: あの間接部門は吸い続けるしそれに布教師だ
事実14: もし仮に布教師が知り合いらしいならばそれは吹け上がらない
事実15: あの間接部門は居辛い
事実16: あの間接部門は御年玉でまた求刑する
事実17: もし仮に「とある物は対抗出来ない一方で合い難い」ということは嘘ならそれは根治性でない
事実18: もし仮にあの畿内説は合い難いということはないけれど根治性であるならば「そのフランス料理は根治性でない」ということは事実である

仮説: あの間接部門は吹け上がる
1. 事実9から、仮説が導かれる

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