「もしも正しないとすれば「比較し難くないしさらに漂い出すということはない」ということは誤っている」ものはある
fact1: もし仮にこの追加拠出は正しないならば「比較し難いが漂い出すということはない」ということは成り立たない fact2: もし仮にこの追加拠出が正しないとすればそれは比較し難くないしさらにそれは漂い出さない fact3: 「仮に正しないなら比較し難くないしさらに漂い出さない」物はある fact4: 「付き易くないとすると「苦し過ぎないししかも三作でない」ということは間違っている」物はある fact5: もしこの水産物流通は月足らずでないなら「通底しないしさらに比較し難くない」ということは間違っている fact6: もし仮にこの追加拠出は正しならば「それは比較し難くないしまた漂い出さない」ということは事実でない fact7: 「もし仮に正しないとすれば「比較し難いしかつ漂い出さない」ということは成り立つということはない」物はある fact8: 仮にこの水産物流通は漂い出さないとすれば「照れ臭いということはないしその上付き始めない」ということは確かでない fact9: もしもこの追加拠出は正しということはないとしたら「比較し難くないしそれは漂い出さない」ということは間違っている fact10: もし仮にこの追加拠出は素晴らしくないなら「それは申し込み方法でないしその上取れ難くない」ということは成り立たない fact11: もし仮にこの追加拠出は産生出来ないなら「それが踏み込めないしさらに比較し難くない」ということは成り立たない fact12: もしこの追加拠出は正しないとしたら「還魂しなくてしかも印刷出来ない」ということは成り立たない fact13: 「もしも佐藤家でないとすると「奉還しないし食糧難でない」ということは嘘である」物はある fact14: もしなにかは名高いということはないとすれば「繋げないし秋葉権現でない」ということは間違いだ fact15: 「もし仮に「正し」ということは成り立つなら「比較し難くないしそれに漂い出すということはない」ということは成り立たない」物はある fact16: 「もし仮に「正しない」ということは真実であるとすると「比較し難くないけれど漂い出す」ということは成り立たない」ものはある fact17: 「仮にこの追加拠出は正しないとすると「この追加拠出は比較し難くないけど漂い出す」ということは誤りである」ということは確かである fact18: 「この追加拠出は正しない」ということは成り立つなら「踏み込めないしまた割り引き店でない」ということは成り立たない fact19: 「もし御偉くないなら「引っ越さなくて更に一万七千余でない」ということは嘘である」物はある
fact9 -> hypothesis;
fact9 -> hypothesis;
仮にこの追加拠出は名高くないとすれば「繋げるということはなくてそれは秋葉権現であるということはない」ということは成り立たない
fact20 -> hypothesis;
$facts$ = fact1: もし仮にこの追加拠出は正しないならば「比較し難いが漂い出すということはない」ということは成り立たない fact2: もし仮にこの追加拠出が正しないとすればそれは比較し難くないしさらにそれは漂い出さない fact3: 「仮に正しないなら比較し難くないしさらに漂い出さない」物はある fact4: 「付き易くないとすると「苦し過ぎないししかも三作でない」ということは間違っている」物はある fact5: もしこの水産物流通は月足らずでないなら「通底しないしさらに比較し難くない」ということは間違っている fact6: もし仮にこの追加拠出は正しならば「それは比較し難くないしまた漂い出さない」ということは事実でない fact7: 「もし仮に正しないとすれば「比較し難いしかつ漂い出さない」ということは成り立つということはない」物はある fact8: 仮にこの水産物流通は漂い出さないとすれば「照れ臭いということはないしその上付き始めない」ということは確かでない fact9: もしもこの追加拠出は正しということはないとしたら「比較し難くないしそれは漂い出さない」ということは間違っている fact10: もし仮にこの追加拠出は素晴らしくないなら「それは申し込み方法でないしその上取れ難くない」ということは成り立たない fact11: もし仮にこの追加拠出は産生出来ないなら「それが踏み込めないしさらに比較し難くない」ということは成り立たない fact12: もしこの追加拠出は正しないとしたら「還魂しなくてしかも印刷出来ない」ということは成り立たない fact13: 「もしも佐藤家でないとすると「奉還しないし食糧難でない」ということは嘘である」物はある fact14: もしなにかは名高いということはないとすれば「繋げないし秋葉権現でない」ということは間違いだ fact15: 「もし仮に「正し」ということは成り立つなら「比較し難くないしそれに漂い出すということはない」ということは成り立たない」物はある fact16: 「もし仮に「正しない」ということは真実であるとすると「比較し難くないけれど漂い出す」ということは成り立たない」ものはある fact17: 「仮にこの追加拠出は正しないとすると「この追加拠出は比較し難くないけど漂い出す」ということは誤りである」ということは確かである fact18: 「この追加拠出は正しない」ということは成り立つなら「踏み込めないしまた割り引き店でない」ということは成り立たない fact19: 「もし御偉くないなら「引っ越さなくて更に一万七千余でない」ということは嘘である」物はある ; $hypothesis$ = 「もしも正しないとすれば「比較し難くないしさらに漂い出すということはない」ということは誤っている」ものはある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もし仮にこの追加拠出は正しないならば「比較し難いが漂い出すということはない」ということは成り立たない
事実2: もし仮にこの追加拠出が正しないとすればそれは比較し難くないしさらにそれは漂い出さない
事実3: 「仮に正しないなら比較し難くないしさらに漂い出さない」物はある
事実4: 「付き易くないとすると「苦し過ぎないししかも三作でない」ということは間違っている」物はある
事実5: もしこの水産物流通は月足らずでないなら「通底しないしさらに比較し難くない」ということは間違っている
事実6: もし仮にこの追加拠出は正しならば「それは比較し難くないしまた漂い出さない」ということは事実でない
事実7: 「もし仮に正しないとすれば「比較し難いしかつ漂い出さない」ということは成り立つということはない」物はある
事実8: 仮にこの水産物流通は漂い出さないとすれば「照れ臭いということはないしその上付き始めない」ということは確かでない
事実9: もしもこの追加拠出は正しということはないとしたら「比較し難くないしそれは漂い出さない」ということは間違っている
事実10: もし仮にこの追加拠出は素晴らしくないなら「それは申し込み方法でないしその上取れ難くない」ということは成り立たない
事実11: もし仮にこの追加拠出は産生出来ないなら「それが踏み込めないしさらに比較し難くない」ということは成り立たない
事実12: もしこの追加拠出は正しないとしたら「還魂しなくてしかも印刷出来ない」ということは成り立たない
事実13: 「もしも佐藤家でないとすると「奉還しないし食糧難でない」ということは嘘である」物はある
事実14: もしなにかは名高いということはないとすれば「繋げないし秋葉権現でない」ということは間違いだ
事実15: 「もし仮に「正し」ということは成り立つなら「比較し難くないしそれに漂い出すということはない」ということは成り立たない」物はある
事実16: 「もし仮に「正しない」ということは真実であるとすると「比較し難くないけれど漂い出す」ということは成り立たない」ものはある
事実17: 「仮にこの追加拠出は正しないとすると「この追加拠出は比較し難くないけど漂い出す」ということは誤りである」ということは確かである
事実18: 「この追加拠出は正しない」ということは成り立つなら「踏み込めないしまた割り引き店でない」ということは成り立たない
事実19: 「もし御偉くないなら「引っ越さなくて更に一万七千余でない」ということは嘘である」物はある

仮説: 「もしも正しないとすれば「比較し難くないしさらに漂い出すということはない」ということは誤っている」ものはある
1. 事実9から、仮説が導かれる

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