「「仮に二十万円以下でないとすると「送り返すということはないかもしくはしっとりしない」ということは間違いな」ものはある」ということは事実と異ならない
fact1: 「仮に「二十万円以下である」ということは成り立てば「送り返さないかあるいはしっとりしないかあるいは両方ともだ」ということは誤りである」物はある fact2: もしもこの回廊東壁は二十万円以下だとすると「それは送り返さないかしっとりしないかまたはどちらもである」ということは成り立たない fact3: もし仮にこの回廊東壁は二十万円以下でないとしたらそれは送り返さないかしっとりしないかどちらもだ fact4: 「二十万円以下でないとすればしっとりする」ものはある fact5: 「都市指数でないならば連れ出すということはないかもしくは慈悲深くないか両方な」物はある fact6: 「二十万円以下でないなら「送り返さないかまたはしっとりするかもしくは両方ともだ」ということは成り立たない」ものはある fact7: 「もし仮に「二十万円以下でない」ということは事実ならば送り返す」物はある fact8: もし仮にこの回廊東壁は二十万円以下でないとしたらそれはしっとりする fact9: この回廊東壁は二十万円以下でないとすると「送り返すかもしくはそれはしっとりするということはない」ということは正しくない fact10: この回廊東壁は二十万円以下でないとしたら「それは送り返さないかあるいはしっとりしないかまたはどちらもである」ということは偽だ fact11: もし仮にとあるものはだだっ広くないとすると「それは実施手順でないかしっとりするということはないか両方ともである」ということは嘘である fact12: 「二十万円以下でないなら送り返さないかしっとりするということはないかあるいは両方ともな」物はある fact13: 「もし仮にこのデリダ的脱構築は憎くないとしたら「このデリダ的脱構築は苦くないかまたはそれは肯定すということはない」ということは真実でない」ということは正しい fact14: 「仮に公認しないなら「襞でないか見下ろせない」ということは真実でない」ものはある fact15: もし仮に何らかのものはしっとりしないとすると「それはすっごーくないかもしくは思い惑うということはない」ということは真実だということはない fact16: もしもとある物は解毒するということはないとすれば「それは逮捕しないかもしくは二十万円以下だということはないか両方だ」ということは誤りだ fact17: 「「二十万円以下でないとすれば「送り返すかあるいはしっとりしないかあるいはどちらもだ」ということは成り立たない」ものはある」ということは正しい
fact10 -> hypothesis;
もし「その王室は解毒しない」ということは事実なら「それは逮捕するということはないかもしくは二十万円以下でないかもしくは両方である」ということは確かでない
fact18 -> hypothesis;
$facts$ = fact1: 「仮に「二十万円以下である」ということは成り立てば「送り返さないかあるいはしっとりしないかあるいは両方ともだ」ということは誤りである」物はある fact2: もしもこの回廊東壁は二十万円以下だとすると「それは送り返さないかしっとりしないかまたはどちらもである」ということは成り立たない fact3: もし仮にこの回廊東壁は二十万円以下でないとしたらそれは送り返さないかしっとりしないかどちらもだ fact4: 「二十万円以下でないとすればしっとりする」ものはある fact5: 「都市指数でないならば連れ出すということはないかもしくは慈悲深くないか両方な」物はある fact6: 「二十万円以下でないなら「送り返さないかまたはしっとりするかもしくは両方ともだ」ということは成り立たない」ものはある fact7: 「もし仮に「二十万円以下でない」ということは事実ならば送り返す」物はある fact8: もし仮にこの回廊東壁は二十万円以下でないとしたらそれはしっとりする fact9: この回廊東壁は二十万円以下でないとすると「送り返すかもしくはそれはしっとりするということはない」ということは正しくない fact10: この回廊東壁は二十万円以下でないとしたら「それは送り返さないかあるいはしっとりしないかまたはどちらもである」ということは偽だ fact11: もし仮にとあるものはだだっ広くないとすると「それは実施手順でないかしっとりするということはないか両方ともである」ということは嘘である fact12: 「二十万円以下でないなら送り返さないかしっとりするということはないかあるいは両方ともな」物はある fact13: 「もし仮にこのデリダ的脱構築は憎くないとしたら「このデリダ的脱構築は苦くないかまたはそれは肯定すということはない」ということは真実でない」ということは正しい fact14: 「仮に公認しないなら「襞でないか見下ろせない」ということは真実でない」ものはある fact15: もし仮に何らかのものはしっとりしないとすると「それはすっごーくないかもしくは思い惑うということはない」ということは真実だということはない fact16: もしもとある物は解毒するということはないとすれば「それは逮捕しないかもしくは二十万円以下だということはないか両方だ」ということは誤りだ fact17: 「「二十万円以下でないとすれば「送り返すかあるいはしっとりしないかあるいはどちらもだ」ということは成り立たない」ものはある」ということは正しい ; $hypothesis$ = 「「仮に二十万円以下でないとすると「送り返すということはないかもしくはしっとりしない」ということは間違いな」ものはある」ということは事実と異ならない ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「仮に「二十万円以下である」ということは成り立てば「送り返さないかあるいはしっとりしないかあるいは両方ともだ」ということは誤りである」物はある
事実2: もしもこの回廊東壁は二十万円以下だとすると「それは送り返さないかしっとりしないかまたはどちらもである」ということは成り立たない
事実3: もし仮にこの回廊東壁は二十万円以下でないとしたらそれは送り返さないかしっとりしないかどちらもだ
事実4: 「二十万円以下でないとすればしっとりする」ものはある
事実5: 「都市指数でないならば連れ出すということはないかもしくは慈悲深くないか両方な」物はある
事実6: 「二十万円以下でないなら「送り返さないかまたはしっとりするかもしくは両方ともだ」ということは成り立たない」ものはある
事実7: 「もし仮に「二十万円以下でない」ということは事実ならば送り返す」物はある
事実8: もし仮にこの回廊東壁は二十万円以下でないとしたらそれはしっとりする
事実9: この回廊東壁は二十万円以下でないとすると「送り返すかもしくはそれはしっとりするということはない」ということは正しくない
事実10: この回廊東壁は二十万円以下でないとしたら「それは送り返さないかあるいはしっとりしないかまたはどちらもである」ということは偽だ
事実11: もし仮にとあるものはだだっ広くないとすると「それは実施手順でないかしっとりするということはないか両方ともである」ということは嘘である
事実12: 「二十万円以下でないなら送り返さないかしっとりするということはないかあるいは両方ともな」物はある
事実13: 「もし仮にこのデリダ的脱構築は憎くないとしたら「このデリダ的脱構築は苦くないかまたはそれは肯定すということはない」ということは真実でない」ということは正しい
事実14: 「仮に公認しないなら「襞でないか見下ろせない」ということは真実でない」ものはある
事実15: もし仮に何らかのものはしっとりしないとすると「それはすっごーくないかもしくは思い惑うということはない」ということは真実だということはない
事実16: もしもとある物は解毒するということはないとすれば「それは逮捕しないかもしくは二十万円以下だということはないか両方だ」ということは誤りだ
事実17: 「「二十万円以下でないとすれば「送り返すかあるいはしっとりしないかあるいはどちらもだ」ということは成り立たない」ものはある」ということは正しい

仮説: 「「仮に二十万円以下でないとすると「送り返すということはないかもしくはしっとりしない」ということは間違いな」ものはある」ということは事実と異ならない
1. 事実10から、仮説が導かれる

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