「もし地方競馬だとすれば「冷所でないかまたは考え易いかもしくは両方ともだ」ということは誤りな」物はある
fact1: もしもその空洞化対策は地方競馬だとすると「それは冷所でないかそれは考え易いかあるいは両方ともだ」ということは事実と異なる fact2: 「もし仮に生産し得るとしたら均等であるということはない」物はある fact3: 「仮に地方競馬ならば冷所な」物はある fact4: 「仮に具体的事案なら「「取り辛くないか小雪であるかあるいは両方ともだ」ということは成り立つ」ということは間違っている」物はある fact5: 仮にその空洞化対策は考え易いなら「それは税関長だということはないか小雪であるか両方ともだ」ということは成り立たない fact6: 「もし小雪であるならば「発展国でないかもしくは大人しい」ということは成り立たない」物はある fact7: 「もし白しとしたら「独り寝だということはないかまたは下男であるかあるいは両方ともである」ということは成り立たない」物はある fact8: ある物は殉職するとしたら「脾腹・胃でないかまたは胆嚢炎であるかまたは両方ともである」ということは成り立たない fact9: もし仮に何らかの物は薄いとすれば「それは崩れ掛からないかあるいは待ち合わせするかあるいは両方ともだ」ということは真実でない fact10: 「地方競馬であるとすると冷所でないかまたは考え易いかどちらもである」ものはある fact11: 「「その空洞化対策は地方競馬だ」ということは成り立つとするとその空洞化対策は冷所でないか考え易いかもしくは両方ともである」ということは正しい fact12: 「地方競馬なら「冷所であるかまたは考え易いかあるいは両方だ」ということは成り立たない」物はある fact13: もし仮になんらかの物は伝え易いならば「それはめでたくないかもしくは痛いかもしくは両方である」ということは誤っている fact14: 「もし地方競馬であるとすると「考え易くない」ということは成り立つ」ものはある fact15: もし仮にその空洞化対策は冷所であるとしたら「バシリカでないかそれは油断するかあるいはどちらもである」ということは成り立たない fact16: 「その空洞化対策は地方競馬だ」ということは成り立つとすればそれは冷所だ
fact1 -> hypothesis;
「もし仮に殉職すれば「脾腹・胃でないか胆嚢炎であるかもしくは両方である」ということは成り立たない」物はある
fact17 -> int1: もし仮に「あのシッダールタ太子は殉職する」ということは成り立つとすると「脾腹・胃でないかまたは胆嚢炎だ」ということは偽だ; int1 -> hypothesis;
$facts$ = fact1: もしもその空洞化対策は地方競馬だとすると「それは冷所でないかそれは考え易いかあるいは両方ともだ」ということは事実と異なる fact2: 「もし仮に生産し得るとしたら均等であるということはない」物はある fact3: 「仮に地方競馬ならば冷所な」物はある fact4: 「仮に具体的事案なら「「取り辛くないか小雪であるかあるいは両方ともだ」ということは成り立つ」ということは間違っている」物はある fact5: 仮にその空洞化対策は考え易いなら「それは税関長だということはないか小雪であるか両方ともだ」ということは成り立たない fact6: 「もし小雪であるならば「発展国でないかもしくは大人しい」ということは成り立たない」物はある fact7: 「もし白しとしたら「独り寝だということはないかまたは下男であるかあるいは両方ともである」ということは成り立たない」物はある fact8: ある物は殉職するとしたら「脾腹・胃でないかまたは胆嚢炎であるかまたは両方ともである」ということは成り立たない fact9: もし仮に何らかの物は薄いとすれば「それは崩れ掛からないかあるいは待ち合わせするかあるいは両方ともだ」ということは真実でない fact10: 「地方競馬であるとすると冷所でないかまたは考え易いかどちらもである」ものはある fact11: 「「その空洞化対策は地方競馬だ」ということは成り立つとするとその空洞化対策は冷所でないか考え易いかもしくは両方ともである」ということは正しい fact12: 「地方競馬なら「冷所であるかまたは考え易いかあるいは両方だ」ということは成り立たない」物はある fact13: もし仮になんらかの物は伝え易いならば「それはめでたくないかもしくは痛いかもしくは両方である」ということは誤っている fact14: 「もし地方競馬であるとすると「考え易くない」ということは成り立つ」ものはある fact15: もし仮にその空洞化対策は冷所であるとしたら「バシリカでないかそれは油断するかあるいはどちらもである」ということは成り立たない fact16: 「その空洞化対策は地方競馬だ」ということは成り立つとすればそれは冷所だ ; $hypothesis$ = 「もし地方競馬だとすれば「冷所でないかまたは考え易いかもしくは両方ともだ」ということは誤りな」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもその空洞化対策は地方競馬だとすると「それは冷所でないかそれは考え易いかあるいは両方ともだ」ということは事実と異なる
事実2: 「もし仮に生産し得るとしたら均等であるということはない」物はある
事実3: 「仮に地方競馬ならば冷所な」物はある
事実4: 「仮に具体的事案なら「「取り辛くないか小雪であるかあるいは両方ともだ」ということは成り立つ」ということは間違っている」物はある
事実5: 仮にその空洞化対策は考え易いなら「それは税関長だということはないか小雪であるか両方ともだ」ということは成り立たない
事実6: 「もし小雪であるならば「発展国でないかもしくは大人しい」ということは成り立たない」物はある
事実7: 「もし白しとしたら「独り寝だということはないかまたは下男であるかあるいは両方ともである」ということは成り立たない」物はある
事実8: ある物は殉職するとしたら「脾腹・胃でないかまたは胆嚢炎であるかまたは両方ともである」ということは成り立たない
事実9: もし仮に何らかの物は薄いとすれば「それは崩れ掛からないかあるいは待ち合わせするかあるいは両方ともだ」ということは真実でない
事実10: 「地方競馬であるとすると冷所でないかまたは考え易いかどちらもである」ものはある
事実11: 「「その空洞化対策は地方競馬だ」ということは成り立つとするとその空洞化対策は冷所でないか考え易いかもしくは両方ともである」ということは正しい
事実12: 「地方競馬なら「冷所であるかまたは考え易いかあるいは両方だ」ということは成り立たない」物はある
事実13: もし仮になんらかの物は伝え易いならば「それはめでたくないかもしくは痛いかもしくは両方である」ということは誤っている
事実14: 「もし地方競馬であるとすると「考え易くない」ということは成り立つ」ものはある
事実15: もし仮にその空洞化対策は冷所であるとしたら「バシリカでないかそれは油断するかあるいはどちらもである」ということは成り立たない
事実16: 「その空洞化対策は地方競馬だ」ということは成り立つとすればそれは冷所だ

仮説: 「もし地方競馬だとすれば「冷所でないかまたは考え易いかもしくは両方ともだ」ということは誤りな」物はある
1. 事実1から、仮説が導かれる

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