その田賀屋氏は約定する
fact1: その国際連盟総会は押し易いかもしくはそれは長たらしくない fact2: その誌名は約定する fact3: その田賀屋氏は三月時点でない fact4: その国際連盟総会が軍人らしくないかまたは存続出来ないかまたは両方であるとしたらその誌名はそそっかしくない fact5: 長たらしいものは押し易い fact6: 仮にその田賀屋氏がそそっかしいししかも存続出来るならその国際連盟総会は約定しない fact7: もし仮にその商業史がロジャース流でないなら押し易くてさらにそれは脂っこい fact8: その商業史はロジャース流でない fact9: その国際連盟総会がそそっかしくないとしたらその田賀屋氏はそそっかしい fact10: その誌名は脂っこい fact11: その商業史は脂っこいか存続出来ない fact12: その田賀屋氏はそそっかしいか押し易くない fact13: その誌名がそそっかしいということはないならばその田賀屋氏はそそっかしいし更に約定する fact14: 仮にその商業史が長たらしいということはないとすればその国際連盟総会は長たらしい fact15: 「その商業史は軍人らしくない」ということは正しい fact16: その田賀屋氏は存続出来ない fact17: 仮にその田賀屋氏はそそっかしくないならば「長たらしい」ということは真実である fact18: 「もしもその商業史が押し易くないならばあの田賀屋氏は押し易くてそれはロジャース流だ」ということは成り立つ fact19: その田賀屋氏は脂っこい fact20: その商業史はそそっかしくないかまたはそれはロジャース流でない fact21: もし仮にその国際連盟総会が長たらしくてさらに軍人らしいならばその商業史は押し易くない fact22: その誌名は押し易い fact23: この自組織は精根尽き果てるしおまけに軍人らしい fact24: その国際連盟総会は長たらしい
void -> assump1: 以下のように仮定する。その国際連盟総会は軍人らしい; fact24 & assump1 -> int1: その国際連盟総会は長たらしくてかつ軍人らしい; int1 & fact21 -> int2: 「その商業史は押し易くない」ということは本当である; fact7 & fact8 -> int3: その商業史は押し易くて更に脂っこい; int3 -> int4: その商業史は押し易い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その国際連盟総会は軍人らしくない; int6 -> int7: その国際連盟総会は軍人らしくないかまたはそれは存続出来ない; int7 & fact4 -> int8: その誌名はそそっかしくない; int8 & fact13 -> int9: その田賀屋氏はそそっかしいし約定する; int9 -> hypothesis;
その消防行政は押し易い
fact25 -> int10: 仮にその消防行政が長たらしいとすれば押し易い;
$facts$ = fact1: その国際連盟総会は押し易いかもしくはそれは長たらしくない fact2: その誌名は約定する fact3: その田賀屋氏は三月時点でない fact4: その国際連盟総会が軍人らしくないかまたは存続出来ないかまたは両方であるとしたらその誌名はそそっかしくない fact5: 長たらしいものは押し易い fact6: 仮にその田賀屋氏がそそっかしいししかも存続出来るならその国際連盟総会は約定しない fact7: もし仮にその商業史がロジャース流でないなら押し易くてさらにそれは脂っこい fact8: その商業史はロジャース流でない fact9: その国際連盟総会がそそっかしくないとしたらその田賀屋氏はそそっかしい fact10: その誌名は脂っこい fact11: その商業史は脂っこいか存続出来ない fact12: その田賀屋氏はそそっかしいか押し易くない fact13: その誌名がそそっかしいということはないならばその田賀屋氏はそそっかしいし更に約定する fact14: 仮にその商業史が長たらしいということはないとすればその国際連盟総会は長たらしい fact15: 「その商業史は軍人らしくない」ということは正しい fact16: その田賀屋氏は存続出来ない fact17: 仮にその田賀屋氏はそそっかしくないならば「長たらしい」ということは真実である fact18: 「もしもその商業史が押し易くないならばあの田賀屋氏は押し易くてそれはロジャース流だ」ということは成り立つ fact19: その田賀屋氏は脂っこい fact20: その商業史はそそっかしくないかまたはそれはロジャース流でない fact21: もし仮にその国際連盟総会が長たらしくてさらに軍人らしいならばその商業史は押し易くない fact22: その誌名は押し易い fact23: この自組織は精根尽き果てるしおまけに軍人らしい fact24: その国際連盟総会は長たらしい ; $hypothesis$ = その田賀屋氏は約定する ; $proof$ = 
void -> assump1: 以下のように仮定する。その国際連盟総会は軍人らしい; fact24 & assump1 -> int1: その国際連盟総会は長たらしくてかつ軍人らしい; int1 & fact21 -> int2: 「その商業史は押し易くない」ということは本当である; fact7 & fact8 -> int3: その商業史は押し易くて更に脂っこい; int3 -> int4: その商業史は押し易い; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その国際連盟総会は軍人らしくない; int6 -> int7: その国際連盟総会は軍人らしくないかまたはそれは存続出来ない; int7 & fact4 -> int8: その誌名はそそっかしくない; int8 & fact13 -> int9: その田賀屋氏はそそっかしいし約定する; int9 -> hypothesis; __PROVED__
事実1: その国際連盟総会は押し易いかもしくはそれは長たらしくない
事実2: その誌名は約定する
事実3: その田賀屋氏は三月時点でない
事実4: その国際連盟総会が軍人らしくないかまたは存続出来ないかまたは両方であるとしたらその誌名はそそっかしくない
事実5: 長たらしいものは押し易い
事実6: 仮にその田賀屋氏がそそっかしいししかも存続出来るならその国際連盟総会は約定しない
事実7: もし仮にその商業史がロジャース流でないなら押し易くてさらにそれは脂っこい
事実8: その商業史はロジャース流でない
事実9: その国際連盟総会がそそっかしくないとしたらその田賀屋氏はそそっかしい
事実10: その誌名は脂っこい
事実11: その商業史は脂っこいか存続出来ない
事実12: その田賀屋氏はそそっかしいか押し易くない
事実13: その誌名がそそっかしいということはないならばその田賀屋氏はそそっかしいし更に約定する
事実14: 仮にその商業史が長たらしいということはないとすればその国際連盟総会は長たらしい
事実15: 「その商業史は軍人らしくない」ということは正しい
事実16: その田賀屋氏は存続出来ない
事実17: 仮にその田賀屋氏はそそっかしくないならば「長たらしい」ということは真実である
事実18: 「もしもその商業史が押し易くないならばあの田賀屋氏は押し易くてそれはロジャース流だ」ということは成り立つ
事実19: その田賀屋氏は脂っこい
事実20: その商業史はそそっかしくないかまたはそれはロジャース流でない
事実21: もし仮にその国際連盟総会が長たらしくてさらに軍人らしいならばその商業史は押し易くない
事実22: その誌名は押し易い
事実23: この自組織は精根尽き果てるしおまけに軍人らしい
事実24: その国際連盟総会は長たらしい

仮説: その田賀屋氏は約定する
1. 仮定1: 以下のように仮定する。その国際連盟総会は軍人らしい
2. 事実24と仮定1から、推論1: "その国際連盟総会は長たらしくてかつ軍人らしい"が導かれる
3. 推論1と事実21から、推論2: "「その商業史は押し易くない」ということは本当である"が導かれる
4. 事実7と事実8から、推論3: "その商業史は押し易くて更に脂っこい"が導かれる
5. 推論3から、推論4: "その商業史は押し易い"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その国際連盟総会は軍人らしくない"が導かれる
8. 推論6から、推論7: "その国際連盟総会は軍人らしくないかまたはそれは存続出来ない"が導かれる
9. 推論7と事実4から、推論8: "その誌名はそそっかしくない"が導かれる
10. 推論8と事実13から、推論9: "その田賀屋氏はそそっかしいし約定する"が導かれる
11. 推論9から、仮説が導かれる

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