「もしもダークでないなら「臭いかもしくは鴻毛でない」ということは成り立たない」ものはある
fact1: その発生状況がダークでないとすればそれは臭いかまたは鴻毛でない fact2: もし仮になんらかの物はマスケット銃であるということはないとすると叩ける fact3: 何かは林業地であるということはないなら一面である fact4: 仮にあるものはダークでないとすると「臭いかそれは鴻毛でないかまたは両方である」ということは成り立たない fact5: もしとある物はダークでないならば「臭いかまたは鴻毛であるか両方である」ということは誤っている fact6: 「その発生状況はダークでない」ということは真実であるとすると「それは臭いかあるいはそれは鴻毛であるかまたはどちらもだ」ということは誤っている fact7: もし仮にその鬱滞が御話下さらないならそれは鴻毛であるかそれは上げ難くない fact8: 「ダークであるということはないとすれば「臭くない」ということは真実な」物はある
fact4 -> int1: 仮にその発生状況はダークでないならば「それは臭いかまたは鴻毛でない」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: その発生状況がダークでないとすればそれは臭いかまたは鴻毛でない fact2: もし仮になんらかの物はマスケット銃であるということはないとすると叩ける fact3: 何かは林業地であるということはないなら一面である fact4: 仮にあるものはダークでないとすると「臭いかそれは鴻毛でないかまたは両方である」ということは成り立たない fact5: もしとある物はダークでないならば「臭いかまたは鴻毛であるか両方である」ということは誤っている fact6: 「その発生状況はダークでない」ということは真実であるとすると「それは臭いかあるいはそれは鴻毛であるかまたはどちらもだ」ということは誤っている fact7: もし仮にその鬱滞が御話下さらないならそれは鴻毛であるかそれは上げ難くない fact8: 「ダークであるということはないとすれば「臭くない」ということは真実な」物はある ; $hypothesis$ = 「もしもダークでないなら「臭いかもしくは鴻毛でない」ということは成り立たない」ものはある ; $proof$ = 
fact4 -> int1: 仮にその発生状況はダークでないならば「それは臭いかまたは鴻毛でない」ということは間違っている; int1 -> hypothesis; __PROVED__
事実1: その発生状況がダークでないとすればそれは臭いかまたは鴻毛でない
事実2: もし仮になんらかの物はマスケット銃であるということはないとすると叩ける
事実3: 何かは林業地であるということはないなら一面である
事実4: 仮にあるものはダークでないとすると「臭いかそれは鴻毛でないかまたは両方である」ということは成り立たない
事実5: もしとある物はダークでないならば「臭いかまたは鴻毛であるか両方である」ということは誤っている
事実6: 「その発生状況はダークでない」ということは真実であるとすると「それは臭いかあるいはそれは鴻毛であるかまたはどちらもだ」ということは誤っている
事実7: もし仮にその鬱滞が御話下さらないならそれは鴻毛であるかそれは上げ難くない
事実8: 「ダークであるということはないとすれば「臭くない」ということは真実な」物はある

仮説: 「もしもダークでないなら「臭いかもしくは鴻毛でない」ということは成り立たない」ものはある
1. 事実4から、推論1: "仮にその発生状況はダークでないならば「それは臭いかまたは鴻毛でない」ということは間違っている"が導かれる
2. 推論1から、仮説が導かれる

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