あの社寺境内は出力する
fact1: 「あの社寺境内は表袋分だ」ということは事実である fact2: 「あの各機器は出力するしさらに表袋分である」ということは事実と異なる fact3: もしこのキャッチが歯噛みしないとしたらあの社寺境内は呼び込めるしおまけにこさえる fact4: もしも「「出力するしさらに表袋分である」ということは成り立たない」物があるとするとあの社寺境内は編纂・発行する fact5: 「あの各機器は表袋分であるしそれに編纂・発行する」ということは偽である fact6: 「表袋分でない」物があるならばあの社寺境内は出力する fact7: 「表袋分であるし加えて編纂・発行する」ものはある fact8: 「とあるものは来し易いがしかし呼び込めない」ということは事実でないとしたら「それは出力する」ということは成り立つ fact9: もしなにがしかのものが出力すれば編纂・発行する fact10: 全てのものはこさえる fact11: もし「合わせ辛い」物があるならあの社寺境内は来し易くてさらにそれは逞しい fact12: 「なにかは進駐軍でないけど民主化する」ということは事実と異なるとすればそれは歯噛みするということはない fact13: 「その重症は出力するしかつ様良し」ということは本当でない fact14: もしも「「表袋分で編纂・発行する」ということは偽である」ものがあるならあの社寺境内は出力する fact15: もし仮になにかは来し易いし呼び込めるとしたらそれは出力しない fact16: 「合わせ辛い」ものはある
fact5 -> int1: 「「表袋分だししかも編纂・発行する」ということは成り立たない」ものはある; int1 & fact14 -> hypothesis;
あの社寺境内は出力しない
fact19 -> int2: もし仮にあの社寺境内は来し易くて更に呼び込めるとすると出力しない; fact17 & fact18 -> int3: あの社寺境内は来し易くてそれにそれは逞しい; int3 -> int4: あの社寺境内は来し易い; fact20 -> int5: 「このキャッチは進駐軍でないけど民主化する」ということは事実でないとすればそれは歯噛みしない;
$facts$ = fact1: 「あの社寺境内は表袋分だ」ということは事実である fact2: 「あの各機器は出力するしさらに表袋分である」ということは事実と異なる fact3: もしこのキャッチが歯噛みしないとしたらあの社寺境内は呼び込めるしおまけにこさえる fact4: もしも「「出力するしさらに表袋分である」ということは成り立たない」物があるとするとあの社寺境内は編纂・発行する fact5: 「あの各機器は表袋分であるしそれに編纂・発行する」ということは偽である fact6: 「表袋分でない」物があるならばあの社寺境内は出力する fact7: 「表袋分であるし加えて編纂・発行する」ものはある fact8: 「とあるものは来し易いがしかし呼び込めない」ということは事実でないとしたら「それは出力する」ということは成り立つ fact9: もしなにがしかのものが出力すれば編纂・発行する fact10: 全てのものはこさえる fact11: もし「合わせ辛い」物があるならあの社寺境内は来し易くてさらにそれは逞しい fact12: 「なにかは進駐軍でないけど民主化する」ということは事実と異なるとすればそれは歯噛みするということはない fact13: 「その重症は出力するしかつ様良し」ということは本当でない fact14: もしも「「表袋分で編纂・発行する」ということは偽である」ものがあるならあの社寺境内は出力する fact15: もし仮になにかは来し易いし呼び込めるとしたらそれは出力しない fact16: 「合わせ辛い」ものはある ; $hypothesis$ = あの社寺境内は出力する ; $proof$ = 
fact5 -> int1: 「「表袋分だししかも編纂・発行する」ということは成り立たない」ものはある; int1 & fact14 -> hypothesis; __PROVED__
事実1: 「あの社寺境内は表袋分だ」ということは事実である
事実2: 「あの各機器は出力するしさらに表袋分である」ということは事実と異なる
事実3: もしこのキャッチが歯噛みしないとしたらあの社寺境内は呼び込めるしおまけにこさえる
事実4: もしも「「出力するしさらに表袋分である」ということは成り立たない」物があるとするとあの社寺境内は編纂・発行する
事実5: 「あの各機器は表袋分であるしそれに編纂・発行する」ということは偽である
事実6: 「表袋分でない」物があるならばあの社寺境内は出力する
事実7: 「表袋分であるし加えて編纂・発行する」ものはある
事実8: 「とあるものは来し易いがしかし呼び込めない」ということは事実でないとしたら「それは出力する」ということは成り立つ
事実9: もしなにがしかのものが出力すれば編纂・発行する
事実10: 全てのものはこさえる
事実11: もし「合わせ辛い」物があるならあの社寺境内は来し易くてさらにそれは逞しい
事実12: 「なにかは進駐軍でないけど民主化する」ということは事実と異なるとすればそれは歯噛みするということはない
事実13: 「その重症は出力するしかつ様良し」ということは本当でない
事実14: もしも「「表袋分で編纂・発行する」ということは偽である」ものがあるならあの社寺境内は出力する
事実15: もし仮になにかは来し易いし呼び込めるとしたらそれは出力しない
事実16: 「合わせ辛い」ものはある

仮説: あの社寺境内は出力する
1. 事実5から、推論1: "「「表袋分だししかも編纂・発行する」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実14から、仮説が導かれる

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