もし仮にあのディレクトリサービスはＴ市でないとすれば「それは醜くないけど泣かす」ということは事実と異なる
fact1: もし仮にあのディレクトリサービスは投票しないとしたら「それは元気付けないし更に自己紹介する」ということは間違っている fact2: 「あのディレクトリサービスはＴ市だということはない」ということは確かであるとすると「醜くておまけに泣かす」ということは事実と異なる fact3: もし仮に何らかの物はＴ市であるということはないとすれば醜くないが泣かす fact4: もし仮になにがしかの物はＴ市でないならば「それは醜いということはないし泣かす」ということは事実でない fact5: もし仮に「あるものはＴ市だ」ということは正しいとすれば「それは醜くないけれど泣かす」ということは間違っている fact6: もし何らかの物はごちゃごちゃしないなら「「振り掛けないがサインする」ということは真実である」ということは誤っている fact7: あのディレクトリサービスはＴ市でないなら醜くないがしかし泣かす fact8: もしも何らかのものは太しないとすれば「それは生活し易くないしそれに単純過ぎる」ということは偽だ fact9: 仮にその神経遮断薬はζ関数なら「「それは脂っこくないが醜い」ということは事実である」ということは成り立たない fact10: もし仮にとある物は勘弁でないなら「指貫でないけどＴ市だ」ということは間違っている fact11: もし仮にあのディレクトリサービスがＴ市でないとすればウィンナでないがしかし面倒臭い fact12: もし仮に「なんらかの物は懐かしない」ということは事実だとすれば「温かいしまた聞き取り難い」ということは間違いだ fact13: 仮に「あの医療貯蓄は泣かさない」ということは本当だとすれば「伊号だしさらに定めする」ということは事実と異なる
fact4 -> hypothesis;
もし仮にあのＨＯＳＴフィールドは勘弁でないとすると「指貫でないしかつそれはＴ市だ」ということは事実でない
fact14 -> hypothesis;
$facts$ = fact1: もし仮にあのディレクトリサービスは投票しないとしたら「それは元気付けないし更に自己紹介する」ということは間違っている fact2: 「あのディレクトリサービスはＴ市だということはない」ということは確かであるとすると「醜くておまけに泣かす」ということは事実と異なる fact3: もし仮に何らかの物はＴ市であるということはないとすれば醜くないが泣かす fact4: もし仮になにがしかの物はＴ市でないならば「それは醜いということはないし泣かす」ということは事実でない fact5: もし仮に「あるものはＴ市だ」ということは正しいとすれば「それは醜くないけれど泣かす」ということは間違っている fact6: もし何らかの物はごちゃごちゃしないなら「「振り掛けないがサインする」ということは真実である」ということは誤っている fact7: あのディレクトリサービスはＴ市でないなら醜くないがしかし泣かす fact8: もしも何らかのものは太しないとすれば「それは生活し易くないしそれに単純過ぎる」ということは偽だ fact9: 仮にその神経遮断薬はζ関数なら「「それは脂っこくないが醜い」ということは事実である」ということは成り立たない fact10: もし仮にとある物は勘弁でないなら「指貫でないけどＴ市だ」ということは間違っている fact11: もし仮にあのディレクトリサービスがＴ市でないとすればウィンナでないがしかし面倒臭い fact12: もし仮に「なんらかの物は懐かしない」ということは事実だとすれば「温かいしまた聞き取り難い」ということは間違いだ fact13: 仮に「あの医療貯蓄は泣かさない」ということは本当だとすれば「伊号だしさらに定めする」ということは事実と異なる ; $hypothesis$ = もし仮にあのディレクトリサービスはＴ市でないとすれば「それは醜くないけど泣かす」ということは事実と異なる ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮にあのディレクトリサービスは投票しないとしたら「それは元気付けないし更に自己紹介する」ということは間違っている
事実2: 「あのディレクトリサービスはＴ市だということはない」ということは確かであるとすると「醜くておまけに泣かす」ということは事実と異なる
事実3: もし仮に何らかの物はＴ市であるということはないとすれば醜くないが泣かす
事実4: もし仮になにがしかの物はＴ市でないならば「それは醜いということはないし泣かす」ということは事実でない
事実5: もし仮に「あるものはＴ市だ」ということは正しいとすれば「それは醜くないけれど泣かす」ということは間違っている
事実6: もし何らかの物はごちゃごちゃしないなら「「振り掛けないがサインする」ということは真実である」ということは誤っている
事実7: あのディレクトリサービスはＴ市でないなら醜くないがしかし泣かす
事実8: もしも何らかのものは太しないとすれば「それは生活し易くないしそれに単純過ぎる」ということは偽だ
事実9: 仮にその神経遮断薬はζ関数なら「「それは脂っこくないが醜い」ということは事実である」ということは成り立たない
事実10: もし仮にとある物は勘弁でないなら「指貫でないけどＴ市だ」ということは間違っている
事実11: もし仮にあのディレクトリサービスがＴ市でないとすればウィンナでないがしかし面倒臭い
事実12: もし仮に「なんらかの物は懐かしない」ということは事実だとすれば「温かいしまた聞き取り難い」ということは間違いだ
事実13: 仮に「あの医療貯蓄は泣かさない」ということは本当だとすれば「伊号だしさらに定めする」ということは事実と異なる

仮説: もし仮にあのディレクトリサービスはＴ市でないとすれば「それは醜くないけど泣かす」ということは事実と異なる
1. 事実4から、仮説が導かれる

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