「有効土被り圧でないとすれば「アフリカ水牛であるかまたは拠出出来る」ということは間違っている」物はある
fact1: 「「もしも基づくということはないならば「寒しということはない」ということは本当な」物はある」ということは確かである fact2: 「もし杜撰さでないとすると寒しか等しいか両方な」物はある fact3: 「「もし仮に意味深いなら「百以上であるか図り難いかあるいは両方だ」ということは偽である」物はある」ということは誤っていない fact4: 「もし複数であるということはないとすると「聞き入れるか財政保障であるかもしくはどちらもである」ということは成り立たない」ものはある fact5: もしこの一挙手はチンゲン菜でないとしたら救い給うかあるいは維持・増進であるかもしくはどちらもである fact6: もし仮にこの一挙手は数箇月間でないならそれは移転時期であるということはない fact7: もし仮にあの敏は鑑賞し易いなら「起こし難いかあるいはそれは人事院規則であるかまたは両方である」ということは成り立たない fact8: 仮にこの一挙手が拠出出来ないとするとそれは話し始めない fact9: 「パトロールしないとすると程無くない」物はある fact10: 「もし痒いとしたら「紛争解決手段であるかもしくは冷め難い」ということは嘘な」ものはある fact11: 「「有効土被り圧でないとすれば拠出出来ない」ものはある」ということは本当である fact12: 「プロバイダでないとすると「通所しない」ということは真実な」物はある fact13: もしもこの一挙手は有効土被り圧でないとすると「それはアフリカ水牛であるかもしくは拠出出来るかもしくは両方である」ということは間違いだ fact14: 「もしも等しくないとすれば塞ぐということはない」ものはある fact15: もし仮にこの一挙手は数箇月間でないならアフリカ水牛でない fact16: 仮にこの一挙手が社会経済システムでないとすると有効土被り圧であるかまたは溶け難いかもしくはどちらもだ fact17: 「「レビューしない」ということは真実だとすると軟らかいということはない」ものはある fact18: 「バイク部品でないなら「救い給うかまたは御容赦下さる」ということは誤っている」ものはある
fact13 -> hypothesis;
$facts$ = fact1: 「「もしも基づくということはないならば「寒しということはない」ということは本当な」物はある」ということは確かである fact2: 「もし杜撰さでないとすると寒しか等しいか両方な」物はある fact3: 「「もし仮に意味深いなら「百以上であるか図り難いかあるいは両方だ」ということは偽である」物はある」ということは誤っていない fact4: 「もし複数であるということはないとすると「聞き入れるか財政保障であるかもしくはどちらもである」ということは成り立たない」ものはある fact5: もしこの一挙手はチンゲン菜でないとしたら救い給うかあるいは維持・増進であるかもしくはどちらもである fact6: もし仮にこの一挙手は数箇月間でないならそれは移転時期であるということはない fact7: もし仮にあの敏は鑑賞し易いなら「起こし難いかあるいはそれは人事院規則であるかまたは両方である」ということは成り立たない fact8: 仮にこの一挙手が拠出出来ないとするとそれは話し始めない fact9: 「パトロールしないとすると程無くない」物はある fact10: 「もし痒いとしたら「紛争解決手段であるかもしくは冷め難い」ということは嘘な」ものはある fact11: 「「有効土被り圧でないとすれば拠出出来ない」ものはある」ということは本当である fact12: 「プロバイダでないとすると「通所しない」ということは真実な」物はある fact13: もしもこの一挙手は有効土被り圧でないとすると「それはアフリカ水牛であるかもしくは拠出出来るかもしくは両方である」ということは間違いだ fact14: 「もしも等しくないとすれば塞ぐということはない」ものはある fact15: もし仮にこの一挙手は数箇月間でないならアフリカ水牛でない fact16: 仮にこの一挙手が社会経済システムでないとすると有効土被り圧であるかまたは溶け難いかもしくはどちらもだ fact17: 「「レビューしない」ということは真実だとすると軟らかいということはない」ものはある fact18: 「バイク部品でないなら「救い給うかまたは御容赦下さる」ということは誤っている」ものはある ; $hypothesis$ = 「有効土被り圧でないとすれば「アフリカ水牛であるかまたは拠出出来る」ということは間違っている」物はある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: 「「もしも基づくということはないならば「寒しということはない」ということは本当な」物はある」ということは確かである
事実2: 「もし杜撰さでないとすると寒しか等しいか両方な」物はある
事実3: 「「もし仮に意味深いなら「百以上であるか図り難いかあるいは両方だ」ということは偽である」物はある」ということは誤っていない
事実4: 「もし複数であるということはないとすると「聞き入れるか財政保障であるかもしくはどちらもである」ということは成り立たない」ものはある
事実5: もしこの一挙手はチンゲン菜でないとしたら救い給うかあるいは維持・増進であるかもしくはどちらもである
事実6: もし仮にこの一挙手は数箇月間でないならそれは移転時期であるということはない
事実7: もし仮にあの敏は鑑賞し易いなら「起こし難いかあるいはそれは人事院規則であるかまたは両方である」ということは成り立たない
事実8: 仮にこの一挙手が拠出出来ないとするとそれは話し始めない
事実9: 「パトロールしないとすると程無くない」物はある
事実10: 「もし痒いとしたら「紛争解決手段であるかもしくは冷め難い」ということは嘘な」ものはある
事実11: 「「有効土被り圧でないとすれば拠出出来ない」ものはある」ということは本当である
事実12: 「プロバイダでないとすると「通所しない」ということは真実な」物はある
事実13: もしもこの一挙手は有効土被り圧でないとすると「それはアフリカ水牛であるかもしくは拠出出来るかもしくは両方である」ということは間違いだ
事実14: 「もしも等しくないとすれば塞ぐということはない」ものはある
事実15: もし仮にこの一挙手は数箇月間でないならアフリカ水牛でない
事実16: 仮にこの一挙手が社会経済システムでないとすると有効土被り圧であるかまたは溶け難いかもしくはどちらもだ
事実17: 「「レビューしない」ということは真実だとすると軟らかいということはない」ものはある
事実18: 「バイク部品でないなら「救い給うかまたは御容赦下さる」ということは誤っている」ものはある

仮説: 「有効土被り圧でないとすれば「アフリカ水牛であるかまたは拠出出来る」ということは間違っている」物はある
1. 事実13から、仮説が導かれる

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