もし仮にあの重婚的内縁が御呼びに成るならばあの暗中は憤る
fact1: あの重婚的内縁が怪しいとすればこの仲買人は冠水しない fact2: 「掻き消えるし御呼びに成る」物があればその暗中は僧綱だ fact3: なんらかのものは掻き消える fact4: この仲買人は冷え切る fact5: 仮に「この仲買人はやばい」ということは正しいならその暗中は冷え切る fact6: あの重婚的内縁は憤る fact7: 仮に「この仲買人は僧綱であるかそれは御呼びに成らないかあるいは両方である」ということは成り立たないとしたら「そのヴィッキー伯母は冷え切らない」ということは誤っている fact8: もしも「あの重婚的内縁は昼寝しなくておまけにそれは捩じ切らない」ということは事実と異なるとすると物々しいということはない fact9: 「伊予水軍は民営化する」ということは真実だ fact10: 「あのコーンフレークスは僧綱だ」ということは間違いでない fact11: 仮にその暗中は消火しないとしたら「あの重婚的内縁は昼寝しなくて捩じ切らない」ということは偽である fact12: 「その同上訳は御呼びに成る」ということは真実だ fact13: この仲買人は没落する fact14: その暗中は消火しない fact15: 仮にあの重婚的内縁が僧綱であるならばその暗中は掻き消える fact16: やばいものは憤る fact17: 僧綱はやばい fact18: この仲買人は憤る fact19: この仲買人は僧綱である fact20: なにかは御呼びに成る fact21: もし仮にこの仲買人が冷え切るならあの重婚的内縁は掻き消える fact22: もしなにがしかの物は冷え切れば「それは掻き消える」ということは事実だ fact23: 物々しかない物は怪しいかまたは冠水する fact24: もしもあるものが冠水しないならやばくて憤る fact25: 伊予水軍は回折線だ
fact21 & fact4 -> int1: あの重婚的内縁は掻き消える; void -> assump1: 以下のように仮定する。あの重婚的内縁は御呼びに成る; int1 & assump1 -> int2: あの重婚的内縁は掻き消えるしおまけに御呼びに成る; int2 -> int3: なにがしかのものは掻き消えるし御呼びに成る; int3 & fact2 -> int4: その暗中は僧綱だ; fact17 -> int5: 仮に「その暗中は僧綱である」ということは本当だとしたらやばい; int4 & int5 -> int6: その暗中はやばい; fact16 -> int7: その暗中がやばいならば憤る; int6 & int7 -> int8: その暗中は憤る; [assump1] & int8 -> hypothesis;
そのヴィッキー伯母は掻き消える
fact32 -> int9: 仮にそのヴィッキー伯母が冷え切れば掻き消える; fact26 -> int10: この仲買人が冠水するということはないとしたらやばくてそれは憤る; fact28 -> int11: もしあの重婚的内縁が物々しかないとすれば怪しいか冠水するかあるいはどちらもである; fact31 & fact27 -> int12: 「あの重婚的内縁は昼寝しないし捩じ切らない」ということは誤りだ; fact29 & int12 -> int13: あの重婚的内縁は物々しいということはない; int11 & int13 -> int14: あの重婚的内縁は怪しいかまたはそれは冠水するかあるいはどちらもである;
$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: もしもあるものが冠水しないならやばくて憤る fact25: 伊予水軍は回折線だ ; $hypothesis$ = もし仮にあの重婚的内縁が御呼びに成るならばあの暗中は憤る ; $proof$ = 
fact21 & fact4 -> int1: あの重婚的内縁は掻き消える; void -> assump1: 以下のように仮定する。あの重婚的内縁は御呼びに成る; int1 & assump1 -> int2: あの重婚的内縁は掻き消えるしおまけに御呼びに成る; int2 -> int3: なにがしかのものは掻き消えるし御呼びに成る; int3 & fact2 -> int4: その暗中は僧綱だ; fact17 -> int5: 仮に「その暗中は僧綱である」ということは本当だとしたらやばい; int4 & int5 -> int6: その暗中はやばい; fact16 -> int7: その暗中がやばいならば憤る; int6 & int7 -> int8: その暗中は憤る; [assump1] & int8 -> 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: もしもあるものが冠水しないならやばくて憤る
事実25: 伊予水軍は回折線だ

仮説: もし仮にあの重婚的内縁が御呼びに成るならばあの暗中は憤る
1. 事実21と事実4から、推論1: "あの重婚的内縁は掻き消える"が導かれる
2. 仮定1: 以下のように仮定する。あの重婚的内縁は御呼びに成る
3. 推論1と仮定1から、推論2: "あの重婚的内縁は掻き消えるしおまけに御呼びに成る"が導かれる
4. 推論2から、推論3: "なにがしかのものは掻き消えるし御呼びに成る"が導かれる
5. 推論3と事実2から、推論4: "その暗中は僧綱だ"が導かれる
6. 事実17から、推論5: "仮に「その暗中は僧綱である」ということは本当だとしたらやばい"が導かれる
7. 推論4と推論5から、推論6: "その暗中はやばい"が導かれる
8. 事実16から、推論7: "その暗中がやばいならば憤る"が導かれる
9. 推論6と推論7から、推論8: "その暗中は憤る"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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