あの中君は大急ぐ
fact1: もし「その裁可は大急がない」ということは真実であるならばあの中君は開業医基金保持だ fact2: あの中君は呪わしい fact3: 仮に何らかのものは成功し易いならば「それは惨たらしくないかもしくはそれは心酔するということはないかあるいはどちらもである」ということは間違っている fact4: その裁可は開業医基金保持だということはない fact5: もしその裁可が開業医基金保持でないならばあの中君は呪わしい fact6: もしなんらかのものは振戦譫妄であるか痛み出すならそれは尊厳性でない fact7: もしもこの雄は発現パターンでないとすると振戦譫妄であるかあるいは痛み出す fact8: もしも「とあるものは開業医基金保持だけれど琉球政府でない」ということは偽だとしたらそれは開業医基金保持でない fact9: この御遺骨は大急ぐ fact10: 「なにかは救い主であるしかつそれは大急ぐ」ということは嘘だとすればそれは大急がない fact11: もしもその輸送費が発現パターンであるとしたらこの雄は発現パターンでない fact12: もしもその新田部は睦まじいが厳くないならばそれは物憂い fact13: あの大石はＯＰＣだしさらに大急ぐ fact14: もしあの中君が開業医基金保持でないとしたらその裁可は大急ぐし加えて呪わしい fact15: 仮にとあるものは開業医基金保持でないとすると「救い主で加えてそれは大急ぐ」ということは間違っている fact16: もし仮に「その新田部は物憂い」ということは事実だとしたらそれは発現パターンだ fact17: 仮にその新田部が発現パターンだとしたらその輸送費は発現パターンである fact18: 「仮に「あるものは惨たらしくないかもしくは心酔しないかまたはどちらもである」ということは偽であるなら琉球政府だ」ということは確かだ fact19: その新田部は睦まじいがそれは厳いということはない fact20: 仮に「その裁可は開業医基金保持でない」ということは成り立つとしたらあの中君は呪わしくて大急ぐ
fact20 & fact4 -> int1: 「あの中君は呪わしいし加えて大急ぐ」ということは本当だ; int1 -> hypothesis;
あの中君は大急がない
fact32 -> int2: もしも「あの中君は救い主であるし大急ぐ」ということは誤りならばそれは大急ぐということはない; fact26 -> int3: もしもあの中君は開業医基金保持でないとすると「それは救い主であるしおまけに大急ぐ」ということは嘘だ; fact28 -> int4: もしも「あの中君は開業医基金保持だがしかし琉球政府でない」ということは事実だということはないなら「開業医基金保持でない」ということは真実だ; fact29 -> int5: 仮に「その裁可は惨たらしくないかそれは心酔するということはないかあるいは両方ともである」ということは事実と異なるとしたら琉球政府である; fact23 -> int6: 仮にその裁可は成功し易いとしたら「それは惨たらしくないかそれは心酔しないかもしくはどちらもである」ということは成り立たない; fact27 -> int7: この雄は振戦譫妄であるかもしくは痛み出すかもしくは両方ともだとすれば尊厳性でない; fact21 & fact25 -> int8: その新田部は物憂い; fact31 & int8 -> int9: その新田部は発現パターンだ; fact24 & int9 -> int10: その輸送費は発現パターンである; fact22 & int10 -> int11: この雄は発現パターンでない; fact30 & int11 -> int12: この雄は振戦譫妄であるか痛み出す; int7 & int12 -> int13: この雄は尊厳性であるということはない; int13 -> int14: 「尊厳性でない」ものはある;
$facts$ = fact1: もし「その裁可は大急がない」ということは真実であるならばあの中君は開業医基金保持だ fact2: あの中君は呪わしい fact3: 仮に何らかのものは成功し易いならば「それは惨たらしくないかもしくはそれは心酔するということはないかあるいはどちらもである」ということは間違っている fact4: その裁可は開業医基金保持だということはない fact5: もしその裁可が開業医基金保持でないならばあの中君は呪わしい fact6: もしなんらかのものは振戦譫妄であるか痛み出すならそれは尊厳性でない fact7: もしもこの雄は発現パターンでないとすると振戦譫妄であるかあるいは痛み出す fact8: もしも「とあるものは開業医基金保持だけれど琉球政府でない」ということは偽だとしたらそれは開業医基金保持でない fact9: この御遺骨は大急ぐ fact10: 「なにかは救い主であるしかつそれは大急ぐ」ということは嘘だとすればそれは大急がない fact11: もしもその輸送費が発現パターンであるとしたらこの雄は発現パターンでない fact12: もしもその新田部は睦まじいが厳くないならばそれは物憂い fact13: あの大石はＯＰＣだしさらに大急ぐ fact14: もしあの中君が開業医基金保持でないとしたらその裁可は大急ぐし加えて呪わしい fact15: 仮にとあるものは開業医基金保持でないとすると「救い主で加えてそれは大急ぐ」ということは間違っている fact16: もし仮に「その新田部は物憂い」ということは事実だとしたらそれは発現パターンだ fact17: 仮にその新田部が発現パターンだとしたらその輸送費は発現パターンである fact18: 「仮に「あるものは惨たらしくないかもしくは心酔しないかまたはどちらもである」ということは偽であるなら琉球政府だ」ということは確かだ fact19: その新田部は睦まじいがそれは厳いということはない fact20: 仮に「その裁可は開業医基金保持でない」ということは成り立つとしたらあの中君は呪わしくて大急ぐ ; $hypothesis$ = あの中君は大急ぐ ; $proof$ = 
fact20 & fact4 -> int1: 「あの中君は呪わしいし加えて大急ぐ」ということは本当だ; int1 -> hypothesis; __PROVED__
事実1: もし「その裁可は大急がない」ということは真実であるならばあの中君は開業医基金保持だ
事実2: あの中君は呪わしい
事実3: 仮に何らかのものは成功し易いならば「それは惨たらしくないかもしくはそれは心酔するということはないかあるいはどちらもである」ということは間違っている
事実4: その裁可は開業医基金保持だということはない
事実5: もしその裁可が開業医基金保持でないならばあの中君は呪わしい
事実6: もしなんらかのものは振戦譫妄であるか痛み出すならそれは尊厳性でない
事実7: もしもこの雄は発現パターンでないとすると振戦譫妄であるかあるいは痛み出す
事実8: もしも「とあるものは開業医基金保持だけれど琉球政府でない」ということは偽だとしたらそれは開業医基金保持でない
事実9: この御遺骨は大急ぐ
事実10: 「なにかは救い主であるしかつそれは大急ぐ」ということは嘘だとすればそれは大急がない
事実11: もしもその輸送費が発現パターンであるとしたらこの雄は発現パターンでない
事実12: もしもその新田部は睦まじいが厳くないならばそれは物憂い
事実13: あの大石はＯＰＣだしさらに大急ぐ
事実14: もしあの中君が開業医基金保持でないとしたらその裁可は大急ぐし加えて呪わしい
事実15: 仮にとあるものは開業医基金保持でないとすると「救い主で加えてそれは大急ぐ」ということは間違っている
事実16: もし仮に「その新田部は物憂い」ということは事実だとしたらそれは発現パターンだ
事実17: 仮にその新田部が発現パターンだとしたらその輸送費は発現パターンである
事実18: 「仮に「あるものは惨たらしくないかもしくは心酔しないかまたはどちらもである」ということは偽であるなら琉球政府だ」ということは確かだ
事実19: その新田部は睦まじいがそれは厳いということはない
事実20: 仮に「その裁可は開業医基金保持でない」ということは成り立つとしたらあの中君は呪わしくて大急ぐ

仮説: あの中君は大急ぐ
1. 事実20と事実4から、推論1: "「あの中君は呪わしいし加えて大急ぐ」ということは本当だ"が導かれる
2. 推論1から、仮説が導かれる

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