「「傾き易くないし加えて御構い無い」ということは誤りな」物はある
fact1: もし仮にこの苦笑交じりは見出だし難くないとしたら「それは希釈しないかもしくはスプレッドシートであるかまたはどちらもである」ということは成り立つということはない fact2: 「傾き易くないししかも御構い無い」物はある fact3: 仮に「「作り手であるかもしくは宙返りするか両方である」ということは成り立たない」ものはあるとすれば「その向上策はＩＡでない」ということは本当だ fact4: もし仮に「この苦笑交じりは希釈しないかもしくはそれはスプレッドシートである」ということは成り立たないならばそれは尤もらしいということはない fact5: 「「特設しないし加えて決まる」ということは誤っている」物はある fact6: もし仮に「何かは見分け難くないしかつ症例Ｅ・ＦＲでない」ということは嘘であるなら投げない fact7: 「この渡来人達は傾き易いということはないがシンパシーである」ということは事実と異なる fact8: もしも「とあるものは投げるということはない」ということは本当だとしたら「それは平和惚けしないし傾き易い」ということは成り立たない fact9: 「「傾き易くてまた御構い無い」ということは真実でない」ものはある fact10: この苦笑交じりは着せがましかない fact11: もしもその賞味期限切れが垢染みるということはないならばその江戸遠山氏略系図は入り辛いけどそれは貧しいということはない fact12: この苦笑交じりは見出だし難いということはない fact13: 尤もらしくないもので着せがましかない物があるとしたらその賞味期限切れは垢染みない fact14: もし仮にその江戸遠山氏略系図は貧しくないならば「その太陽系型惑星系は作り手であるかまたはそれは宙返りするか両方ともだ」ということは間違いである fact15: 仮になんらかの物はＩＡでないとすると「見分け難くなくてその上症例ｅ・ＦＲだということはない」ということは誤りだ fact16: 「この渡来人達は傾き易くてまたそれは御構い無い」ということは成り立たない fact17: 「この渡来人達は傾き易くないがしかし御構い無い」ということは偽である
fact17 -> hypothesis;
「その向上策は平和惚けしないが傾き易い」ということは誤っている
fact23 -> int1: もし仮にその向上策は投げないなら「平和惚けするということはないしそれは傾き易い」ということは誤っている; fact18 -> int2: 「その向上策は見分け難いということはなくてしかもそれは症例Ｅ・ＦＲでない」ということは成り立たないならそれは投げない; fact21 -> int3: その向上策はＩＡでないとしたら「見分け難くなくて更に症例Ｅ・ＦＲでない」ということは確かでない; fact25 & fact20 -> int4: 「この苦笑交じりは希釈しないかまたはそれはスプレッドシートである」ということは真実でない; fact28 & int4 -> int5: この苦笑交じりは尤もらしくない; int5 & fact24 -> int6: この苦笑交じりは尤もらしくないし加えて着せがましかない; int6 -> int7: 何かは尤もらしくないし更に着せがましかない; int7 & fact22 -> int8: 「その賞味期限切れは垢染みない」ということは正しい; fact26 & int8 -> int9: その江戸遠山氏略系図は入り辛いが貧しくない; int9 -> int10: その江戸遠山氏略系図は貧しいということはない; fact27 & int10 -> int11: 「その太陽系型惑星系は作り手であるかもしくは宙返りするかあるいは両方だ」ということは誤っている; int11 -> int12: 「「作り手であるかまたは宙返りするかまたは両方ともである」ということは成り立たない」物はある; int12 & fact19 -> int13: その向上策はＩＡでない; int3 & int13 -> int14: 「その向上策は見分け難くない物でそれに症例Ｅ・ＦＲでない」ということは成り立たない; int2 & int14 -> int15: その向上策は投げない; int1 & int15 -> hypothesis;
$facts$ = fact1: もし仮にこの苦笑交じりは見出だし難くないとしたら「それは希釈しないかもしくはスプレッドシートであるかまたはどちらもである」ということは成り立つということはない fact2: 「傾き易くないししかも御構い無い」物はある fact3: 仮に「「作り手であるかもしくは宙返りするか両方である」ということは成り立たない」ものはあるとすれば「その向上策はＩＡでない」ということは本当だ fact4: もし仮に「この苦笑交じりは希釈しないかもしくはそれはスプレッドシートである」ということは成り立たないならばそれは尤もらしいということはない fact5: 「「特設しないし加えて決まる」ということは誤っている」物はある fact6: もし仮に「何かは見分け難くないしかつ症例Ｅ・ＦＲでない」ということは嘘であるなら投げない fact7: 「この渡来人達は傾き易いということはないがシンパシーである」ということは事実と異なる fact8: もしも「とあるものは投げるということはない」ということは本当だとしたら「それは平和惚けしないし傾き易い」ということは成り立たない fact9: 「「傾き易くてまた御構い無い」ということは真実でない」ものはある fact10: この苦笑交じりは着せがましかない fact11: もしもその賞味期限切れが垢染みるということはないならばその江戸遠山氏略系図は入り辛いけどそれは貧しいということはない fact12: この苦笑交じりは見出だし難いということはない fact13: 尤もらしくないもので着せがましかない物があるとしたらその賞味期限切れは垢染みない fact14: もし仮にその江戸遠山氏略系図は貧しくないならば「その太陽系型惑星系は作り手であるかまたはそれは宙返りするか両方ともだ」ということは間違いである fact15: 仮になんらかの物はＩＡでないとすると「見分け難くなくてその上症例ｅ・ＦＲだということはない」ということは誤りだ fact16: 「この渡来人達は傾き易くてまたそれは御構い無い」ということは成り立たない fact17: 「この渡来人達は傾き易くないがしかし御構い無い」ということは偽である ; $hypothesis$ = 「「傾き易くないし加えて御構い無い」ということは誤りな」物はある ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: もし仮にこの苦笑交じりは見出だし難くないとしたら「それは希釈しないかもしくはスプレッドシートであるかまたはどちらもである」ということは成り立つということはない
事実2: 「傾き易くないししかも御構い無い」物はある
事実3: 仮に「「作り手であるかもしくは宙返りするか両方である」ということは成り立たない」ものはあるとすれば「その向上策はＩＡでない」ということは本当だ
事実4: もし仮に「この苦笑交じりは希釈しないかもしくはそれはスプレッドシートである」ということは成り立たないならばそれは尤もらしいということはない
事実5: 「「特設しないし加えて決まる」ということは誤っている」物はある
事実6: もし仮に「何かは見分け難くないしかつ症例Ｅ・ＦＲでない」ということは嘘であるなら投げない
事実7: 「この渡来人達は傾き易いということはないがシンパシーである」ということは事実と異なる
事実8: もしも「とあるものは投げるということはない」ということは本当だとしたら「それは平和惚けしないし傾き易い」ということは成り立たない
事実9: 「「傾き易くてまた御構い無い」ということは真実でない」ものはある
事実10: この苦笑交じりは着せがましかない
事実11: もしもその賞味期限切れが垢染みるということはないならばその江戸遠山氏略系図は入り辛いけどそれは貧しいということはない
事実12: この苦笑交じりは見出だし難いということはない
事実13: 尤もらしくないもので着せがましかない物があるとしたらその賞味期限切れは垢染みない
事実14: もし仮にその江戸遠山氏略系図は貧しくないならば「その太陽系型惑星系は作り手であるかまたはそれは宙返りするか両方ともだ」ということは間違いである
事実15: 仮になんらかの物はＩＡでないとすると「見分け難くなくてその上症例ｅ・ＦＲだということはない」ということは誤りだ
事実16: 「この渡来人達は傾き易くてまたそれは御構い無い」ということは成り立たない
事実17: 「この渡来人達は傾き易くないがしかし御構い無い」ということは偽である

仮説: 「「傾き易くないし加えて御構い無い」ということは誤りな」物はある
1. 事実17から、仮説が導かれる

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