「もし寂しかないならば飛行機事故でない」物はある
fact1: その避難小屋が寂しかないとしたら飛行機事故だということはない fact2: もしもとあるものは飛行機事故であるということはないならば萎びない fact3: もしその避難小屋は寂しかないなら「飛行機事故だ」ということは成り立つ fact4: その避難小屋が寂しいとすると飛行機事故だということはない fact5: 「もし仮に寂しいとしたら飛行機事故であるということはない」ものはある fact6: もしその避難小屋が生じ難くないならば大江山であるということはない fact7: 「仮に寂しかないとすると飛行機事故な」ものはある fact8: 「もし治安上でないとすれば見え辛くない」ものはある fact9: 仮に何かは大江山でないなら制度自体だということはない
fact1 -> hypothesis;
もしあの第二経路は飛行機事故でないならばそれは萎びない
fact10 -> hypothesis;
$facts$ = fact1: その避難小屋が寂しかないとしたら飛行機事故だということはない fact2: もしもとあるものは飛行機事故であるということはないならば萎びない fact3: もしその避難小屋は寂しかないなら「飛行機事故だ」ということは成り立つ fact4: その避難小屋が寂しいとすると飛行機事故だということはない fact5: 「もし仮に寂しいとしたら飛行機事故であるということはない」ものはある fact6: もしその避難小屋が生じ難くないならば大江山であるということはない fact7: 「仮に寂しかないとすると飛行機事故な」ものはある fact8: 「もし治安上でないとすれば見え辛くない」ものはある fact9: 仮に何かは大江山でないなら制度自体だということはない ; $hypothesis$ = 「もし寂しかないならば飛行機事故でない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その避難小屋が寂しかないとしたら飛行機事故だということはない
事実2: もしもとあるものは飛行機事故であるということはないならば萎びない
事実3: もしその避難小屋は寂しかないなら「飛行機事故だ」ということは成り立つ
事実4: その避難小屋が寂しいとすると飛行機事故だということはない
事実5: 「もし仮に寂しいとしたら飛行機事故であるということはない」ものはある
事実6: もしその避難小屋が生じ難くないならば大江山であるということはない
事実7: 「仮に寂しかないとすると飛行機事故な」ものはある
事実8: 「もし治安上でないとすれば見え辛くない」ものはある
事実9: 仮に何かは大江山でないなら制度自体だということはない

仮説: 「もし寂しかないならば飛行機事故でない」物はある
1. 事実1から、仮説が導かれる

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