「もし税込み経理方式なら「色好いしその上賛成し難くない」ということは誤りな」物はある
fact1: 「もし比島沖海戦だとしたら「密封するしそれにジョイ・スティックでない」ということは嘘である」ものはある fact2: あの基通は泳ぎであるなら「「税込み経理方式だ一方で厚かましくない」ということは成り立つ」ということは成り立つということはない fact3: 仮に「あの基通はし辛い」ということは偽でないならば「厚しけれど密封しない」ということは成り立たない fact4: 「もしも「使い辛い」ということは確かであるとしたら「追及出来るしさらにヘッジしない」ということは事実と異なる」ものはある fact5: もしあの基通は税込み経理方式ならば「「色好くて賛成し難い」ということは成り立つ」ということは間違いである fact6: 「仮に慰めであるならば「透過性だししかも選択され易くない」ということは偽である」物はある fact7: 「もし仮に拙いならば「問い掛けであるけど一巡りするということはない」ということは誤っている」物はある fact8: 「敢え無いならば「たわいないし茹で始めるということはない」ということは成り立たない」ものはある fact9: 仮にあの基通は増水するなら「それは作り易いけれどＰＨＰ文庫でない」ということは偽だ fact10: もしあの基通は税込み経理方式であるならば「それは春らしい一方で追及出来るということはない」ということは成り立たない fact11: 仮にその憲法構想はＡＡＣであるとすると「それは税込み経理方式だがしかし発揮し易くない」ということは偽だ fact12: 何らかの物は三文字であるとすれば「増幅するしその上肺気腫でない」ということは成り立たない fact13: 「仮に攻撃すとすれば「複数用意するし白っぽくない」ということは真実であるということはない」物はある fact14: もしもあの基通は税込み経理方式であるとすれば「色好いが賛成し難いということはない」ということは真実でない fact15: 「もし仮に税込み経理方式だとすれば色好い一方で賛成し難くない」ものはある fact16: 仮にあの基通が税込み経理方式ならそれは色好くて更に賛成し難くない fact17: 「もしも「艾だ」ということは確かだとすると「使用し易いけど張り倒さない」ということは誤りな」ものはある fact18: 仮にあの反乱は小気味良いなら「それは白っぽいし加えてそれは色好くない」ということは間違っている fact19: 「もし「税込み経理方式である」ということは成り立つなら「色好くて賛成し難い」ということは事実と異なる」物はある
fact14 -> hypothesis;
「三文字だとすれば「増幅するししかも肺気腫でない」ということは誤りである」ものはある
fact20 -> int1: もし仮にその最大流速は三文字だとしたら「それは増幅するがしかし肺気腫でない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「もし比島沖海戦だとしたら「密封するしそれにジョイ・スティックでない」ということは嘘である」ものはある fact2: あの基通は泳ぎであるなら「「税込み経理方式だ一方で厚かましくない」ということは成り立つ」ということは成り立つということはない fact3: 仮に「あの基通はし辛い」ということは偽でないならば「厚しけれど密封しない」ということは成り立たない fact4: 「もしも「使い辛い」ということは確かであるとしたら「追及出来るしさらにヘッジしない」ということは事実と異なる」ものはある fact5: もしあの基通は税込み経理方式ならば「「色好くて賛成し難い」ということは成り立つ」ということは間違いである fact6: 「仮に慰めであるならば「透過性だししかも選択され易くない」ということは偽である」物はある fact7: 「もし仮に拙いならば「問い掛けであるけど一巡りするということはない」ということは誤っている」物はある fact8: 「敢え無いならば「たわいないし茹で始めるということはない」ということは成り立たない」ものはある fact9: 仮にあの基通は増水するなら「それは作り易いけれどＰＨＰ文庫でない」ということは偽だ fact10: もしあの基通は税込み経理方式であるならば「それは春らしい一方で追及出来るということはない」ということは成り立たない fact11: 仮にその憲法構想はＡＡＣであるとすると「それは税込み経理方式だがしかし発揮し易くない」ということは偽だ fact12: 何らかの物は三文字であるとすれば「増幅するしその上肺気腫でない」ということは成り立たない fact13: 「仮に攻撃すとすれば「複数用意するし白っぽくない」ということは真実であるということはない」物はある fact14: もしもあの基通は税込み経理方式であるとすれば「色好いが賛成し難いということはない」ということは真実でない fact15: 「もし仮に税込み経理方式だとすれば色好い一方で賛成し難くない」ものはある fact16: 仮にあの基通が税込み経理方式ならそれは色好くて更に賛成し難くない fact17: 「もしも「艾だ」ということは確かだとすると「使用し易いけど張り倒さない」ということは誤りな」ものはある fact18: 仮にあの反乱は小気味良いなら「それは白っぽいし加えてそれは色好くない」ということは間違っている fact19: 「もし「税込み経理方式である」ということは成り立つなら「色好くて賛成し難い」ということは事実と異なる」物はある ; $hypothesis$ = 「もし税込み経理方式なら「色好いしその上賛成し難くない」ということは誤りな」物はある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「もし比島沖海戦だとしたら「密封するしそれにジョイ・スティックでない」ということは嘘である」ものはある
事実2: あの基通は泳ぎであるなら「「税込み経理方式だ一方で厚かましくない」ということは成り立つ」ということは成り立つということはない
事実3: 仮に「あの基通はし辛い」ということは偽でないならば「厚しけれど密封しない」ということは成り立たない
事実4: 「もしも「使い辛い」ということは確かであるとしたら「追及出来るしさらにヘッジしない」ということは事実と異なる」ものはある
事実5: もしあの基通は税込み経理方式ならば「「色好くて賛成し難い」ということは成り立つ」ということは間違いである
事実6: 「仮に慰めであるならば「透過性だししかも選択され易くない」ということは偽である」物はある
事実7: 「もし仮に拙いならば「問い掛けであるけど一巡りするということはない」ということは誤っている」物はある
事実8: 「敢え無いならば「たわいないし茹で始めるということはない」ということは成り立たない」ものはある
事実9: 仮にあの基通は増水するなら「それは作り易いけれどＰＨＰ文庫でない」ということは偽だ
事実10: もしあの基通は税込み経理方式であるならば「それは春らしい一方で追及出来るということはない」ということは成り立たない
事実11: 仮にその憲法構想はＡＡＣであるとすると「それは税込み経理方式だがしかし発揮し易くない」ということは偽だ
事実12: 何らかの物は三文字であるとすれば「増幅するしその上肺気腫でない」ということは成り立たない
事実13: 「仮に攻撃すとすれば「複数用意するし白っぽくない」ということは真実であるということはない」物はある
事実14: もしもあの基通は税込み経理方式であるとすれば「色好いが賛成し難いということはない」ということは真実でない
事実15: 「もし仮に税込み経理方式だとすれば色好い一方で賛成し難くない」ものはある
事実16: 仮にあの基通が税込み経理方式ならそれは色好くて更に賛成し難くない
事実17: 「もしも「艾だ」ということは確かだとすると「使用し易いけど張り倒さない」ということは誤りな」ものはある
事実18: 仮にあの反乱は小気味良いなら「それは白っぽいし加えてそれは色好くない」ということは間違っている
事実19: 「もし「税込み経理方式である」ということは成り立つなら「色好くて賛成し難い」ということは事実と異なる」物はある

仮説: 「もし税込み経理方式なら「色好いしその上賛成し難くない」ということは誤りな」物はある
1. 事実14から、仮説が導かれる

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