あの浦々は名古屋市内であるならこの返り血はあやさないし落雷でない
fact1: この返り血はあやさない fact2: もしもあの浦々は名古屋市内であるならばこの返り血はあやさない fact3: もし仮にあの罰はあやすとしたらこの返り血はあやさないし落雷でない fact4: もしとある物は実るとすると「吹き替える」ということは成り立つ fact5: もしもあの浦々は名古屋市内であるとするとこの返り血はあやさないがしかしそれは落雷である fact6: もし何かは吹き替えればそれはあやす fact7: あの罰はあやすならばあの返り血はあやさない fact8: この返り血はあやさないが落雷である fact9: あの罰はあやすとすればあの返り血はあやさないけれど落雷である fact10: 仮にあの浦々が名古屋市内であるとするとあの罰は実る
void -> assump1: 以下のように仮定する。あの浦々は名古屋市内だ; fact10 & assump1 -> int1: あの罰は実る; fact4 -> int2: もしもあの罰は実るとしたら「それは吹き替える」ということは成り立つ; int1 & int2 -> int3: あの罰は吹き替える; fact6 -> int4: 仮にあの罰が吹き替えるならそれはあやす; int3 & int4 -> int5: あの罰はあやす; int5 & fact3 -> int6: この返り血はあやさないしそれは落雷でない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: この返り血はあやさない fact2: もしもあの浦々は名古屋市内であるならばこの返り血はあやさない fact3: もし仮にあの罰はあやすとしたらこの返り血はあやさないし落雷でない fact4: もしとある物は実るとすると「吹き替える」ということは成り立つ fact5: もしもあの浦々は名古屋市内であるとするとこの返り血はあやさないがしかしそれは落雷である fact6: もし何かは吹き替えればそれはあやす fact7: あの罰はあやすならばあの返り血はあやさない fact8: この返り血はあやさないが落雷である fact9: あの罰はあやすとすればあの返り血はあやさないけれど落雷である fact10: 仮にあの浦々が名古屋市内であるとするとあの罰は実る ; $hypothesis$ = あの浦々は名古屋市内であるならこの返り血はあやさないし落雷でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの浦々は名古屋市内だ; fact10 & assump1 -> int1: あの罰は実る; fact4 -> int2: もしもあの罰は実るとしたら「それは吹き替える」ということは成り立つ; int1 & int2 -> int3: あの罰は吹き替える; fact6 -> int4: 仮にあの罰が吹き替えるならそれはあやす; int3 & int4 -> int5: あの罰はあやす; int5 & fact3 -> int6: この返り血はあやさないしそれは落雷でない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この返り血はあやさない
事実2: もしもあの浦々は名古屋市内であるならばこの返り血はあやさない
事実3: もし仮にあの罰はあやすとしたらこの返り血はあやさないし落雷でない
事実4: もしとある物は実るとすると「吹き替える」ということは成り立つ
事実5: もしもあの浦々は名古屋市内であるとするとこの返り血はあやさないがしかしそれは落雷である
事実6: もし何かは吹き替えればそれはあやす
事実7: あの罰はあやすならばあの返り血はあやさない
事実8: この返り血はあやさないが落雷である
事実9: あの罰はあやすとすればあの返り血はあやさないけれど落雷である
事実10: 仮にあの浦々が名古屋市内であるとするとあの罰は実る

仮説: あの浦々は名古屋市内であるならこの返り血はあやさないし落雷でない
1. 仮定1: 以下のように仮定する。あの浦々は名古屋市内だ
2. 事実10と仮定1から、推論1: "あの罰は実る"が導かれる
3. 事実4から、推論2: "もしもあの罰は実るとしたら「それは吹き替える」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "あの罰は吹き替える"が導かれる
5. 事実6から、推論4: "仮にあの罰が吹き替えるならそれはあやす"が導かれる
6. 推論3と推論4から、推論5: "あの罰はあやす"が導かれる
7. 推論5と事実3から、推論6: "この返り血はあやさないしそれは落雷でない"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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