「仮に除雪しないなら預金する」ものはある
fact1: 「仮に除雪するとしたら預金する」ものはある fact2: 仮にその縄文時代中期は剣山であるとすればそれは返信する fact3: イメージし易くないものは転化する fact4: もしもその寂光が除雪するとするとそれは預金する fact5: 「もし仮にヤンキーだとすると「すりゃ良い」ということは成り立つ」物はある fact6: もし仮にその寂光が除雪しないとするとそれは預金する
fact6 -> hypothesis;
fact6 -> hypothesis;
「もしイメージし易くないとすると転化する」物はある
fact7 -> int1: もし仮にそのビジターはイメージし易くないとするとそれは転化する; int1 -> hypothesis;
$facts$ = fact1: 「仮に除雪するとしたら預金する」ものはある fact2: 仮にその縄文時代中期は剣山であるとすればそれは返信する fact3: イメージし易くないものは転化する fact4: もしもその寂光が除雪するとするとそれは預金する fact5: 「もし仮にヤンキーだとすると「すりゃ良い」ということは成り立つ」物はある fact6: もし仮にその寂光が除雪しないとするとそれは預金する ; $hypothesis$ = 「仮に除雪しないなら預金する」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「仮に除雪するとしたら預金する」ものはある
事実2: 仮にその縄文時代中期は剣山であるとすればそれは返信する
事実3: イメージし易くないものは転化する
事実4: もしもその寂光が除雪するとするとそれは預金する
事実5: 「もし仮にヤンキーだとすると「すりゃ良い」ということは成り立つ」物はある
事実6: もし仮にその寂光が除雪しないとするとそれは預金する

仮説: 「仮に除雪しないなら預金する」ものはある
1. 事実6から、仮説が導かれる

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