「その競馬場代わりは塩辛い」ということは本当だ
fact1: 仮に「何らかの物は怒りっぽくてそれは丸大豆である」ということは誤りだとすればそれは塩辛くない fact2: なにかは納得し易くないし顰めっ面でない fact3: その競馬場代わりは納得し易い fact4: もしもなにがしかの物は挫折しなくてそれに塩辛くないならば「その競馬場代わりは拾う」ということは正しい fact5: 「遊び呆けるがしかし少なしない」物はある fact6: なんらかのものは塩辛くない fact7: なにかは徒らっぽくないがしかし天母城だ fact8: 「「遣り易くないしその上さもしいない」物はある」ということは成り立つ fact9: 「みっともなくない」ものはある fact10: ある物は婦人科医師でないが登場する fact11: もしも納得し易い物が顰めっ面でないとすればその競馬場代わりは塩辛い fact12: ある物は大カーブでないとすると「怒りっぽいしさらに丸大豆である」ということは間違っている fact13: 仮にとあるものは丸大豆でないとすると顰めっ面でまた納得し易い fact14: 「納得し易くないし顰めっ面でない」ものがあるとするとその競馬場代わりは塩辛い fact15: 「予想オッズでなくておまけにＴＣＲであるということはない」ものはある fact16: このミモザが顰めっ面であるし更に納得し易いとしたら「その競馬場代わりは塩辛くない」ということは本当だ fact17: 仮にとあるものが塩辛いということはないとすればあのシュールレアリスムは納得し易くておまけに顰めっ面である fact18: 仮にこのトルネードは怒りっぽいとすると「このミモザは丸大豆であるということはない」ということは正しい
fact2 & fact14 -> hypothesis;
fact2 & fact14 -> hypothesis;
あのシュールレアリスムは納得し易い
fact19 -> int1: もしも「その競馬場代わりは怒りっぽくて丸大豆だ」ということは嘘であるとしたら塩辛くない; fact21 -> int2: もしもこのミモザは大カーブでないとすれば「怒りっぽいし丸大豆だ」ということは間違っている;
$facts$ = fact1: 仮に「何らかの物は怒りっぽくてそれは丸大豆である」ということは誤りだとすればそれは塩辛くない fact2: なにかは納得し易くないし顰めっ面でない fact3: その競馬場代わりは納得し易い fact4: もしもなにがしかの物は挫折しなくてそれに塩辛くないならば「その競馬場代わりは拾う」ということは正しい fact5: 「遊び呆けるがしかし少なしない」物はある fact6: なんらかのものは塩辛くない fact7: なにかは徒らっぽくないがしかし天母城だ fact8: 「「遣り易くないしその上さもしいない」物はある」ということは成り立つ fact9: 「みっともなくない」ものはある fact10: ある物は婦人科医師でないが登場する fact11: もしも納得し易い物が顰めっ面でないとすればその競馬場代わりは塩辛い fact12: ある物は大カーブでないとすると「怒りっぽいしさらに丸大豆である」ということは間違っている fact13: 仮にとあるものは丸大豆でないとすると顰めっ面でまた納得し易い fact14: 「納得し易くないし顰めっ面でない」ものがあるとするとその競馬場代わりは塩辛い fact15: 「予想オッズでなくておまけにＴＣＲであるということはない」ものはある fact16: このミモザが顰めっ面であるし更に納得し易いとしたら「その競馬場代わりは塩辛くない」ということは本当だ fact17: 仮にとあるものが塩辛いということはないとすればあのシュールレアリスムは納得し易くておまけに顰めっ面である fact18: 仮にこのトルネードは怒りっぽいとすると「このミモザは丸大豆であるということはない」ということは正しい ; $hypothesis$ = 「その競馬場代わりは塩辛い」ということは本当だ ; $proof$ = 
fact2 & fact14 -> hypothesis; __PROVED__
事実1: 仮に「何らかの物は怒りっぽくてそれは丸大豆である」ということは誤りだとすればそれは塩辛くない
事実2: なにかは納得し易くないし顰めっ面でない
事実3: その競馬場代わりは納得し易い
事実4: もしもなにがしかの物は挫折しなくてそれに塩辛くないならば「その競馬場代わりは拾う」ということは正しい
事実5: 「遊び呆けるがしかし少なしない」物はある
事実6: なんらかのものは塩辛くない
事実7: なにかは徒らっぽくないがしかし天母城だ
事実8: 「「遣り易くないしその上さもしいない」物はある」ということは成り立つ
事実9: 「みっともなくない」ものはある
事実10: ある物は婦人科医師でないが登場する
事実11: もしも納得し易い物が顰めっ面でないとすればその競馬場代わりは塩辛い
事実12: ある物は大カーブでないとすると「怒りっぽいしさらに丸大豆である」ということは間違っている
事実13: 仮にとあるものは丸大豆でないとすると顰めっ面でまた納得し易い
事実14: 「納得し易くないし顰めっ面でない」ものがあるとするとその競馬場代わりは塩辛い
事実15: 「予想オッズでなくておまけにＴＣＲであるということはない」ものはある
事実16: このミモザが顰めっ面であるし更に納得し易いとしたら「その競馬場代わりは塩辛くない」ということは本当だ
事実17: 仮にとあるものが塩辛いということはないとすればあのシュールレアリスムは納得し易くておまけに顰めっ面である
事実18: 仮にこのトルネードは怒りっぽいとすると「このミモザは丸大豆であるということはない」ということは正しい

仮説: 「その競馬場代わりは塩辛い」ということは本当だ
1. 事実2と事実14から、仮説が導かれる

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