「あの失火責任法は降り注がない」ということは本当だ
fact1: あの失火責任法は労働衛生教育だ fact2: もしも「この雑貨屋は降り注ぐかもしくは払拭出来ないかもしくはどちらもである」ということは成り立たないとすると「あの失火責任法は労働衛生教育である」ということは真実である fact3: この雑貨屋は降り注ぐ fact4: 仮に「「この雑貨屋は払拭出来るか労働衛生教育だということはないかどちらもである」ということは成り立たない」ということは成り立つとすれば「あの失火責任法は降り注ぐ」ということは誤っているということはない fact5: 「この雑貨屋は払拭出来るかもしくはそれは労働衛生教育でない」ということは誤っている
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
$facts$ = fact1: あの失火責任法は労働衛生教育だ fact2: もしも「この雑貨屋は降り注ぐかもしくは払拭出来ないかもしくはどちらもである」ということは成り立たないとすると「あの失火責任法は労働衛生教育である」ということは真実である fact3: この雑貨屋は降り注ぐ fact4: 仮に「「この雑貨屋は払拭出来るか労働衛生教育だということはないかどちらもである」ということは成り立たない」ということは成り立つとすれば「あの失火責任法は降り注ぐ」ということは誤っているということはない fact5: 「この雑貨屋は払拭出来るかもしくはそれは労働衛生教育でない」ということは誤っている ; $hypothesis$ = 「あの失火責任法は降り注がない」ということは本当だ ; $proof$ = 
fact4 & fact5 -> hypothesis; __DISPROVED__
事実1: あの失火責任法は労働衛生教育だ
事実2: もしも「この雑貨屋は降り注ぐかもしくは払拭出来ないかもしくはどちらもである」ということは成り立たないとすると「あの失火責任法は労働衛生教育である」ということは真実である
事実3: この雑貨屋は降り注ぐ
事実4: 仮に「「この雑貨屋は払拭出来るか労働衛生教育だということはないかどちらもである」ということは成り立たない」ということは成り立つとすれば「あの失火責任法は降り注ぐ」ということは誤っているということはない
事実5: 「この雑貨屋は払拭出来るかもしくはそれは労働衛生教育でない」ということは誤っている

仮説: 「あの失火責任法は降り注がない」ということは本当だ
1. 事実4と事実5から、仮説が否定される

よって、仮説が否定されました。