「この気軽さは演出効果だということはないがしかし修正する」ということは事実と異なる
fact1: この馬番号は裏庭だ fact2: 「このデジタル署名は底堅いということはないけれど寵児である」ということは成り立たない fact3: もし仮にこのデジタル署名は頼み込めば「底堅くないし寵児でない」ということは偽だ fact4: もしもあの同神社は修正しないなら「この気軽さは演出効果でないけど修正する」ということは間違っている fact5: もしも「何かは頼み込まないけれどそれは裏庭である」ということは成り立たないとしたら裏庭でない fact6: もしこの馬番号が裏庭でないとしたらこの気軽さは演出効果でないけど修正する fact7: もしも「その底面は広がり難いかもしくはそれは華美でない」ということは偽だとすればあのＥさんは海外生産である fact8: 「「「底堅くてまた寵児だということはない」ということは事実だ」ということは誤っている」物はある fact9: 「このデジタル署名は底堅いけれど寵児でない」ということは成り立たない fact10: 「「底堅くなくて寵児だということはない」ということは間違っている」ものがあるならあの同神社は修正しない fact11: 仮に「この馬番号は裏庭だ」ということは成り立つとしたら「その底面は広がり難いということはない」ということは確かだ fact12: 仮に何かは海外生産だとすれば「それは頼み込まないけど裏庭だ」ということは間違いである fact13: 「「底堅くないが寵児である」ということは誤りな」ものはある fact14: もし仮にこのＥさんは海外生産だとすれば「このデジタル署名は頼み込む」ということは正しい fact15: 「底堅くないしかつ寵児だということはない」物はある fact16: 仮にこの馬番号は裏庭だとしたら「その底面は広がり難いか華美でない」ということは嘘である
fact16 & fact1 -> int1: 「その底面は広がり難いかまたは華美でない」ということは本当でない; int1 & fact7 -> int2: このＥさんは海外生産だ; int2 & fact14 -> int3: このデジタル署名は頼み込む; int3 & fact3 -> int4: 「このデジタル署名は底堅くなくて寵児でない」ということは事実でない; int4 -> int5: 「「底堅いということはなくて更に寵児でない」ということは成り立たない」物はある; int5 & fact10 -> int6: あの同神社は修正しない; int6 & fact4 -> hypothesis;
この気軽さは演出効果であるということはないけれど修正する
fact18 -> int7: もし仮に「この馬番号は頼み込まないけれど裏庭だ」ということは間違っているとしたら裏庭でない; fact19 -> int8: 仮にこの馬番号は海外生産だとすると「それは頼み込まないけど裏庭である」ということは嘘である;
$facts$ = fact1: この馬番号は裏庭だ fact2: 「このデジタル署名は底堅いということはないけれど寵児である」ということは成り立たない fact3: もし仮にこのデジタル署名は頼み込めば「底堅くないし寵児でない」ということは偽だ fact4: もしもあの同神社は修正しないなら「この気軽さは演出効果でないけど修正する」ということは間違っている fact5: もしも「何かは頼み込まないけれどそれは裏庭である」ということは成り立たないとしたら裏庭でない fact6: もしこの馬番号が裏庭でないとしたらこの気軽さは演出効果でないけど修正する fact7: もしも「その底面は広がり難いかもしくはそれは華美でない」ということは偽だとすればあのＥさんは海外生産である fact8: 「「「底堅くてまた寵児だということはない」ということは事実だ」ということは誤っている」物はある fact9: 「このデジタル署名は底堅いけれど寵児でない」ということは成り立たない fact10: 「「底堅くなくて寵児だということはない」ということは間違っている」ものがあるならあの同神社は修正しない fact11: 仮に「この馬番号は裏庭だ」ということは成り立つとしたら「その底面は広がり難いということはない」ということは確かだ fact12: 仮に何かは海外生産だとすれば「それは頼み込まないけど裏庭だ」ということは間違いである fact13: 「「底堅くないが寵児である」ということは誤りな」ものはある fact14: もし仮にこのＥさんは海外生産だとすれば「このデジタル署名は頼み込む」ということは正しい fact15: 「底堅くないしかつ寵児だということはない」物はある fact16: 仮にこの馬番号は裏庭だとしたら「その底面は広がり難いか華美でない」ということは嘘である ; $hypothesis$ = 「この気軽さは演出効果だということはないがしかし修正する」ということは事実と異なる ; $proof$ = 
fact16 & fact1 -> int1: 「その底面は広がり難いかまたは華美でない」ということは本当でない; int1 & fact7 -> int2: このＥさんは海外生産だ; int2 & fact14 -> int3: このデジタル署名は頼み込む; int3 & fact3 -> int4: 「このデジタル署名は底堅くなくて寵児でない」ということは事実でない; int4 -> int5: 「「底堅いということはなくて更に寵児でない」ということは成り立たない」物はある; int5 & fact10 -> int6: あの同神社は修正しない; int6 & fact4 -> hypothesis; __PROVED__
事実1: この馬番号は裏庭だ
事実2: 「このデジタル署名は底堅いということはないけれど寵児である」ということは成り立たない
事実3: もし仮にこのデジタル署名は頼み込めば「底堅くないし寵児でない」ということは偽だ
事実4: もしもあの同神社は修正しないなら「この気軽さは演出効果でないけど修正する」ということは間違っている
事実5: もしも「何かは頼み込まないけれどそれは裏庭である」ということは成り立たないとしたら裏庭でない
事実6: もしこの馬番号が裏庭でないとしたらこの気軽さは演出効果でないけど修正する
事実7: もしも「その底面は広がり難いかもしくはそれは華美でない」ということは偽だとすればあのＥさんは海外生産である
事実8: 「「「底堅くてまた寵児だということはない」ということは事実だ」ということは誤っている」物はある
事実9: 「このデジタル署名は底堅いけれど寵児でない」ということは成り立たない
事実10: 「「底堅くなくて寵児だということはない」ということは間違っている」ものがあるならあの同神社は修正しない
事実11: 仮に「この馬番号は裏庭だ」ということは成り立つとしたら「その底面は広がり難いということはない」ということは確かだ
事実12: 仮に何かは海外生産だとすれば「それは頼み込まないけど裏庭だ」ということは間違いである
事実13: 「「底堅くないが寵児である」ということは誤りな」ものはある
事実14: もし仮にこのＥさんは海外生産だとすれば「このデジタル署名は頼み込む」ということは正しい
事実15: 「底堅くないしかつ寵児だということはない」物はある
事実16: 仮にこの馬番号は裏庭だとしたら「その底面は広がり難いか華美でない」ということは嘘である

仮説: 「この気軽さは演出効果だということはないがしかし修正する」ということは事実と異なる
1. 事実16と事実1から、推論1: "「その底面は広がり難いかまたは華美でない」ということは本当でない"が導かれる
2. 推論1と事実7から、推論2: "このＥさんは海外生産だ"が導かれる
3. 推論2と事実14から、推論3: "このデジタル署名は頼み込む"が導かれる
4. 推論3と事実3から、推論4: "「このデジタル署名は底堅くなくて寵児でない」ということは事実でない"が導かれる
5. 推論4から、推論5: "「「底堅いということはなくて更に寵児でない」ということは成り立たない」物はある"が導かれる
6. 推論5と事実10から、推論6: "あの同神社は修正しない"が導かれる
7. 推論6と事実4から、仮説が導かれる

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