「もしも秘境冒険映画だとしたら怒りっぽくないし走行性能でない」ものはある
fact1: もしもあの繁殖力は秘境冒険映画であるなら「それは怒りっぽくないし更に走行性能でない」ということは成り立つ fact2: 仮に何らかの物は守り通せば「それは知り合いらしくないし更に火山爆発でない」ということは確かだ fact3: 「秘境冒険映画ならば走行性能でない」ものはある
fact1 -> hypothesis;
「守り通すとしたら知り合いらしくないしまた火山爆発でない」ものはある
fact4 -> int1: あの肥前国が守り通すなら知り合いらしくないしかつそれは火山爆発でない; int1 -> hypothesis;
$facts$ = fact1: もしもあの繁殖力は秘境冒険映画であるなら「それは怒りっぽくないし更に走行性能でない」ということは成り立つ fact2: 仮に何らかの物は守り通せば「それは知り合いらしくないし更に火山爆発でない」ということは確かだ fact3: 「秘境冒険映画ならば走行性能でない」ものはある ; $hypothesis$ = 「もしも秘境冒険映画だとしたら怒りっぽくないし走行性能でない」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもあの繁殖力は秘境冒険映画であるなら「それは怒りっぽくないし更に走行性能でない」ということは成り立つ
事実2: 仮に何らかの物は守り通せば「それは知り合いらしくないし更に火山爆発でない」ということは確かだ
事実3: 「秘境冒険映画ならば走行性能でない」ものはある

仮説: 「もしも秘境冒険映画だとしたら怒りっぽくないし走行性能でない」ものはある
1. 事実1から、仮説が導かれる

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