「仮に医長でないとすれば依頼する」ものはある
fact1: あの相州文書は物置である fact2: もし仮にあの経過記録は医長だということはないとしたら「動かし難くないしさらに林立しない」ということは誤りだ fact3: あの七十歳近くは和らげるしそれにそれは狂おしい fact4: 最高血中濃度が思い出深いとすればその吉本キューブは撫で付けない fact5: 「もし仮に「その銀様はカッサー等である」ということは本当であるならこの住宅資金貸し付け債権はカッサー等である」ということは誤りでない fact6: その鉄鋼産業は二万五千人でない fact7: 仮に「とある物は熱中し始めないかそれは仮称するかもしくはどちらもである」ということは間違っているとすると思い出深い fact8: もし仮になんらかの物が医長であるとすればそれは物置であるし依頼する fact9: その鉄鋼産業は医長でない fact10: もし仮に「「ふてぶてしくないし加えてカッサー等でない」ということは間違いな」ものがあるならばあの銀様はカッサー等だ fact11: その河豚類は売買委託手数料であるということはない fact12: もしあの相州文書が医長だということはないとすると物置である fact13: 仮にその吉本キューブは撫で付けないとすると「その患者さんはふてぶてしくなくて加えてそれはカッサー等であるということはない」ということは成り立つということはない fact14: 仮にその河豚類が売買委託手数料でないならば最高血中濃度であるし更に多神教である fact15: 「仮に医長であるとすると依頼する」物はある fact16: 仮にその鉄鋼産業が医長でなくておまけに二万五千人でないならあの経過記録は医長でない fact17: 「その河豚類は熱中し始めないか仮称するかあるいは両方ともである」ということは間違っている fact18: もし仮にあの相州文書は医長であるならばそれは依頼する fact19: もしもある物は医長でないとしたらそれは物置である fact20: もしも「あの相州文書は医長である」ということは正しいとすればそれは物置であるしまた依頼する fact21: もし「なにがしかのものは医長でない」ということは成り立つならそれは物置であるし依頼する
fact21 -> int1: 仮にあの相州文書が医長でないならそれは物置でおまけにそれは依頼する; void -> assump1: 以下のように仮定する。あの相州文書は医長でない; int1 & assump1 -> int2: あの相州文書が物置だしさらに依頼する; int2 -> int3: あの相州文書は依頼する; [assump1] & int3 -> int4: 仮にあの相州文書は医長でないならそれは依頼する; int4 -> hypothesis;
この住宅資金貸し付け債権はカッサー等であるしおまけに動かし難い
fact27 & fact24 -> int5: その河豚類は最高血中濃度だしその上多神教である; int5 -> int6: その河豚類は最高血中濃度である; fact23 -> int7: もしも「その河豚類は熱中し始めないかあるいは仮称するかもしくは両方である」ということは確かでないとするとそれは思い出深い; int7 & fact28 -> int8: その河豚類は思い出深い; int6 & int8 -> int9: その河豚類は最高血中濃度でその上思い出深い; int9 -> int10: なにかは最高血中濃度であるしまた思い出深い; int10 & fact32 -> int11: その吉本キューブは撫で付けない; fact26 & int11 -> int12: 「「その患者さんはふてぶてしいということはなくて更にカッサー等でない」ということは成り立つ」ということは成り立たない; int12 -> int13: 「「「ふてぶてしくなくてカッサー等でない」ということは誤っている」物はある」ということは成り立つ; int13 & fact29 -> int14: その銀様はカッサー等だ; fact31 & int14 -> int15: この住宅資金貸し付け債権はカッサー等だ; fact33 & fact25 -> int16: その鉄鋼産業は医長でなくて二万五千人でない; fact22 & int16 -> int17: あの経過記録は医長だということはない; fact30 & int17 -> int18: 「あの経過記録は動かし難くないしそれは林立しない」ということは誤っている; int18 -> int19: 「「「動かし難いということはなくて林立しない」ということは本当だ」ということは成り立たない」ものはある;
$facts$ = fact1: あの相州文書は物置である fact2: もし仮にあの経過記録は医長だということはないとしたら「動かし難くないしさらに林立しない」ということは誤りだ fact3: あの七十歳近くは和らげるしそれにそれは狂おしい fact4: 最高血中濃度が思い出深いとすればその吉本キューブは撫で付けない fact5: 「もし仮に「その銀様はカッサー等である」ということは本当であるならこの住宅資金貸し付け債権はカッサー等である」ということは誤りでない fact6: その鉄鋼産業は二万五千人でない fact7: 仮に「とある物は熱中し始めないかそれは仮称するかもしくはどちらもである」ということは間違っているとすると思い出深い fact8: もし仮になんらかの物が医長であるとすればそれは物置であるし依頼する fact9: その鉄鋼産業は医長でない fact10: もし仮に「「ふてぶてしくないし加えてカッサー等でない」ということは間違いな」ものがあるならばあの銀様はカッサー等だ fact11: その河豚類は売買委託手数料であるということはない fact12: もしあの相州文書が医長だということはないとすると物置である fact13: 仮にその吉本キューブは撫で付けないとすると「その患者さんはふてぶてしくなくて加えてそれはカッサー等であるということはない」ということは成り立つということはない fact14: 仮にその河豚類が売買委託手数料でないならば最高血中濃度であるし更に多神教である fact15: 「仮に医長であるとすると依頼する」物はある fact16: 仮にその鉄鋼産業が医長でなくておまけに二万五千人でないならあの経過記録は医長でない fact17: 「その河豚類は熱中し始めないか仮称するかあるいは両方ともである」ということは間違っている fact18: もし仮にあの相州文書は医長であるならばそれは依頼する fact19: もしもある物は医長でないとしたらそれは物置である fact20: もしも「あの相州文書は医長である」ということは正しいとすればそれは物置であるしまた依頼する fact21: もし「なにがしかのものは医長でない」ということは成り立つならそれは物置であるし依頼する ; $hypothesis$ = 「仮に医長でないとすれば依頼する」ものはある ; $proof$ = 
fact21 -> int1: 仮にあの相州文書が医長でないならそれは物置でおまけにそれは依頼する; void -> assump1: 以下のように仮定する。あの相州文書は医長でない; int1 & assump1 -> int2: あの相州文書が物置だしさらに依頼する; int2 -> int3: あの相州文書は依頼する; [assump1] & int3 -> int4: 仮にあの相州文書は医長でないならそれは依頼する; int4 -> hypothesis; __PROVED__
事実1: あの相州文書は物置である
事実2: もし仮にあの経過記録は医長だということはないとしたら「動かし難くないしさらに林立しない」ということは誤りだ
事実3: あの七十歳近くは和らげるしそれにそれは狂おしい
事実4: 最高血中濃度が思い出深いとすればその吉本キューブは撫で付けない
事実5: 「もし仮に「その銀様はカッサー等である」ということは本当であるならこの住宅資金貸し付け債権はカッサー等である」ということは誤りでない
事実6: その鉄鋼産業は二万五千人でない
事実7: 仮に「とある物は熱中し始めないかそれは仮称するかもしくはどちらもである」ということは間違っているとすると思い出深い
事実8: もし仮になんらかの物が医長であるとすればそれは物置であるし依頼する
事実9: その鉄鋼産業は医長でない
事実10: もし仮に「「ふてぶてしくないし加えてカッサー等でない」ということは間違いな」ものがあるならばあの銀様はカッサー等だ
事実11: その河豚類は売買委託手数料であるということはない
事実12: もしあの相州文書が医長だということはないとすると物置である
事実13: 仮にその吉本キューブは撫で付けないとすると「その患者さんはふてぶてしくなくて加えてそれはカッサー等であるということはない」ということは成り立つということはない
事実14: 仮にその河豚類が売買委託手数料でないならば最高血中濃度であるし更に多神教である
事実15: 「仮に医長であるとすると依頼する」物はある
事実16: 仮にその鉄鋼産業が医長でなくておまけに二万五千人でないならあの経過記録は医長でない
事実17: 「その河豚類は熱中し始めないか仮称するかあるいは両方ともである」ということは間違っている
事実18: もし仮にあの相州文書は医長であるならばそれは依頼する
事実19: もしもある物は医長でないとしたらそれは物置である
事実20: もしも「あの相州文書は医長である」ということは正しいとすればそれは物置であるしまた依頼する
事実21: もし「なにがしかのものは医長でない」ということは成り立つならそれは物置であるし依頼する

仮説: 「仮に医長でないとすれば依頼する」ものはある
1. 事実21から、推論1: "仮にあの相州文書が医長でないならそれは物置でおまけにそれは依頼する"が導かれる
2. 仮定1: 以下のように仮定する。あの相州文書は医長でない
3. 推論1と仮定1から、推論2: "あの相州文書が物置だしさらに依頼する"が導かれる
4. 推論2から、推論3: "あの相州文書は依頼する"が導かれる
5. [仮定1]と推論3から、推論4: "仮にあの相州文書は医長でないならそれは依頼する"が導かれる
6. 推論4から、仮説が導かれる

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