あの左片麻痺は運動技能であるかあるいは指南するか両方だ
fact1: 軽くないものは譲位するし掻き易い fact2: もしその競合店が譲位するならこの遅蒔きは引き出し易くないかもしくは除去しない fact3: もしもなんらかのものは化粧台でないけど殴り付ければ「剥離し難くない」ということは本当である fact4: もしとある物は発生し易いならば「それは分かり易くないし更に個別者でない」ということは偽だ fact5: もし仮にこのカラー補正が譲位するならそれは除去する fact6: 「「「同席するし加えて損失補填である」ということは事実だ」ということは偽な」物はある fact7: 「この高位が訳無いということはないしその上それは規定し合うということはない」ということは偽だとすればあのカラー補正は規定し合わない fact8: 剥離し難くないものはでかくない fact9: もしもとあるものはでかくないとしたら「訳無くなくてその上それは規定し合わない」ということは誤りである fact10: もしなにがしかの物が譲位するとすると運動技能だ fact11: その左心房が同席するということはないとしたらこの高位は化粧台であるということはないけど殴り付ける fact12: もしこのカラー補正は譲位すれば「「あの左片麻痺は譲位するということはなくて掻き易くない」ということは事実でない」ということは成り立つ fact13: 仮にこの遅蒔きが発生し易いとすればその競合店は引き出し易くないけど除去する fact14: 「「個別者でないけど侵入し易い」ということは事実と異なる」ものはある fact15: もし仮になにがしかのものは規定し合わないとしたら「自戒するし精進す」ということは成り立つということはない fact16: もしも「このカラー補正は自戒するしかつ精進す」ということは事実と異なるならその競合店は軽くない fact17: 「「個別者でないが侵入し易い」ということは事実でない」物があるとすればこの遅蒔きは発生し易い fact18: 仮に「なんらかの物は譲位しないしおまけにそれは掻き易くない」ということは誤っているならそれは運動技能である fact19: もしなんらかのものが引き出し易くないかそれが除去しないとすればそれは引き出し易くない fact20: もしこの遅蒔きが引き出し易くないならばあの左片麻痺は発生し易くない fact21: もしその競合店が引き出し易いということはない一方で除去すればこのカラー補正は譲位する fact22: もし仮になんらかのものは発生し易くないとすると「運動技能であるかまたは指南する」ということは成り立たない
fact14 & fact17 -> int1: 「この遅蒔きは発生し易い」ということは真実だ; int1 & fact13 -> int2: その競合店は引き出し易いということはないけど除去する; int2 & fact21 -> int3: このカラー補正は譲位する; int3 & fact12 -> int4: 「「あの左片麻痺は譲位しないしまた掻き易くない」ということは本当だ」ということは間違いである; fact18 -> int5: 「あの左片麻痺は譲位しなくてそれは掻き易くない」ということは間違いであるとしたら運動技能だ; int4 & int5 -> int6: あの左片麻痺は運動技能だ; int6 -> hypothesis;
「あの左片麻痺は運動技能であるか指南するかまたは両方である」ということは嘘である
fact30 -> int7: もしあの左片麻痺は発生し易いということはないなら「運動技能であるかあるいは指南するかあるいはどちらもである」ということは成り立つということはない; fact24 -> int8: もし仮にこの遅蒔きは引き出し易いということはないかもしくは除去するということはないかもしくは両方ともだとすると引き出し易くない; fact31 -> int9: もし仮に「その競合店は軽くない」ということは正しいならば譲位するしかつ掻き易い; fact29 -> int10: 仮にこのカラー補正は規定し合わないとすると「「それは自戒するししかも精進す」ということは事実だ」ということは成り立たない; fact32 -> int11: 仮にこの高位はでかくないなら「それは訳無くないしかつ規定し合わない」ということは偽だ; fact25 -> int12: 仮にこの高位は剥離し難くないならばでかくない; fact26 -> int13: もし仮にこの高位が化粧台でないがそれが殴り付けるとすればそれは剥離し難くない;
$facts$ = fact1: 軽くないものは譲位するし掻き易い fact2: もしその競合店が譲位するならこの遅蒔きは引き出し易くないかもしくは除去しない fact3: もしもなんらかのものは化粧台でないけど殴り付ければ「剥離し難くない」ということは本当である fact4: もしとある物は発生し易いならば「それは分かり易くないし更に個別者でない」ということは偽だ fact5: もし仮にこのカラー補正が譲位するならそれは除去する fact6: 「「「同席するし加えて損失補填である」ということは事実だ」ということは偽な」物はある fact7: 「この高位が訳無いということはないしその上それは規定し合うということはない」ということは偽だとすればあのカラー補正は規定し合わない fact8: 剥離し難くないものはでかくない fact9: もしもとあるものはでかくないとしたら「訳無くなくてその上それは規定し合わない」ということは誤りである fact10: もしなにがしかの物が譲位するとすると運動技能だ fact11: その左心房が同席するということはないとしたらこの高位は化粧台であるということはないけど殴り付ける fact12: もしこのカラー補正は譲位すれば「「あの左片麻痺は譲位するということはなくて掻き易くない」ということは事実でない」ということは成り立つ fact13: 仮にこの遅蒔きが発生し易いとすればその競合店は引き出し易くないけど除去する fact14: 「「個別者でないけど侵入し易い」ということは事実と異なる」ものはある fact15: もし仮になにがしかのものは規定し合わないとしたら「自戒するし精進す」ということは成り立つということはない fact16: もしも「このカラー補正は自戒するしかつ精進す」ということは事実と異なるならその競合店は軽くない fact17: 「「個別者でないが侵入し易い」ということは事実でない」物があるとすればこの遅蒔きは発生し易い fact18: 仮に「なんらかの物は譲位しないしおまけにそれは掻き易くない」ということは誤っているならそれは運動技能である fact19: もしなんらかのものが引き出し易くないかそれが除去しないとすればそれは引き出し易くない fact20: もしこの遅蒔きが引き出し易くないならばあの左片麻痺は発生し易くない fact21: もしその競合店が引き出し易いということはない一方で除去すればこのカラー補正は譲位する fact22: もし仮になんらかのものは発生し易くないとすると「運動技能であるかまたは指南する」ということは成り立たない ; $hypothesis$ = あの左片麻痺は運動技能であるかあるいは指南するか両方だ ; $proof$ = 
fact14 & fact17 -> int1: 「この遅蒔きは発生し易い」ということは真実だ; int1 & fact13 -> int2: その競合店は引き出し易いということはないけど除去する; int2 & fact21 -> int3: このカラー補正は譲位する; int3 & fact12 -> int4: 「「あの左片麻痺は譲位しないしまた掻き易くない」ということは本当だ」ということは間違いである; fact18 -> int5: 「あの左片麻痺は譲位しなくてそれは掻き易くない」ということは間違いであるとしたら運動技能だ; int4 & int5 -> int6: あの左片麻痺は運動技能だ; int6 -> hypothesis; __PROVED__
事実1: 軽くないものは譲位するし掻き易い
事実2: もしその競合店が譲位するならこの遅蒔きは引き出し易くないかもしくは除去しない
事実3: もしもなんらかのものは化粧台でないけど殴り付ければ「剥離し難くない」ということは本当である
事実4: もしとある物は発生し易いならば「それは分かり易くないし更に個別者でない」ということは偽だ
事実5: もし仮にこのカラー補正が譲位するならそれは除去する
事実6: 「「「同席するし加えて損失補填である」ということは事実だ」ということは偽な」物はある
事実7: 「この高位が訳無いということはないしその上それは規定し合うということはない」ということは偽だとすればあのカラー補正は規定し合わない
事実8: 剥離し難くないものはでかくない
事実9: もしもとあるものはでかくないとしたら「訳無くなくてその上それは規定し合わない」ということは誤りである
事実10: もしなにがしかの物が譲位するとすると運動技能だ
事実11: その左心房が同席するということはないとしたらこの高位は化粧台であるということはないけど殴り付ける
事実12: もしこのカラー補正は譲位すれば「「あの左片麻痺は譲位するということはなくて掻き易くない」ということは事実でない」ということは成り立つ
事実13: 仮にこの遅蒔きが発生し易いとすればその競合店は引き出し易くないけど除去する
事実14: 「「個別者でないけど侵入し易い」ということは事実と異なる」ものはある
事実15: もし仮になにがしかのものは規定し合わないとしたら「自戒するし精進す」ということは成り立つということはない
事実16: もしも「このカラー補正は自戒するしかつ精進す」ということは事実と異なるならその競合店は軽くない
事実17: 「「個別者でないが侵入し易い」ということは事実でない」物があるとすればこの遅蒔きは発生し易い
事実18: 仮に「なんらかの物は譲位しないしおまけにそれは掻き易くない」ということは誤っているならそれは運動技能である
事実19: もしなんらかのものが引き出し易くないかそれが除去しないとすればそれは引き出し易くない
事実20: もしこの遅蒔きが引き出し易くないならばあの左片麻痺は発生し易くない
事実21: もしその競合店が引き出し易いということはない一方で除去すればこのカラー補正は譲位する
事実22: もし仮になんらかのものは発生し易くないとすると「運動技能であるかまたは指南する」ということは成り立たない

仮説: あの左片麻痺は運動技能であるかあるいは指南するか両方だ
1. 事実14と事実17から、推論1: "「この遅蒔きは発生し易い」ということは真実だ"が導かれる
2. 推論1と事実13から、推論2: "その競合店は引き出し易いということはないけど除去する"が導かれる
3. 推論2と事実21から、推論3: "このカラー補正は譲位する"が導かれる
4. 推論3と事実12から、推論4: "「「あの左片麻痺は譲位しないしまた掻き易くない」ということは本当だ」ということは間違いである"が導かれる
5. 事実18から、推論5: "「あの左片麻痺は譲位しなくてそれは掻き易くない」ということは間違いであるとしたら運動技能だ"が導かれる
6. 推論4と推論5から、推論6: "あの左片麻痺は運動技能だ"が導かれる
7. 推論6から、仮説が導かれる

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