「その筋硬直は伸ばし易いかあるいはそれは香ばしいかまたはどちらもである」ということは事実と異なる
fact1: 「「このＣアップは取得方法であるがしかし程良くない」ということは正しい」ということは誤っている fact2: もしもなにかは取得方法だとしたら「それは付与する」ということは正しい fact3: もし仮にその相州屋は吹き払わなくてまた剥かないならそれは却ってする fact4: 仮にその相州屋が焦点距離だとしたらそれは吹き払わないし剥かない fact5: もし仮にこのＣアップは吹き払うとすると「その市全体は却ってするがしかし読み終わらない」ということは偽だ fact6: もしもとある物は上がり難いということはないとすれば「それは取得方法であるかまたは言語使用であるかあるいは両方ともだ」ということは誤りである fact7: あの財務数値が焦点距離であるとすればその相州屋は焦点距離だ fact8: 「その市全体は伸ばし易いということはなくてかつ上がり難くない」ということは誤りだとするとその筋硬直は伸ばし易い fact9: あの練り胡麻は付与しない fact10: その市全体が却ってしないとすればあの伝は程良くないし香ばしかない fact11: 仮に何かは却ってするとすればそれは取得方法であるかあるいは読み終わるということはないかあるいはどちらもだ fact12: もし仮にその市全体は上がり難いとすると「このＣアップは付与しないけど積み出す」ということは確かである fact13: 仮に「なにがしかの物は視認出来るかあるいはそれは上がり難い」ということは成り立たないとすると伸ばし易くない fact14: この不定形動詞類は管理し易くない一方でそれは本箱である fact15: 「このＣアップは取得方法でなくて加えて程良いということはない」ということは誤りである fact16: 仮に「このＣアップは程良くない一方で視認出来る」ということは事実だとするとその市全体は視認出来ない fact17: もし仮に「その市全体は却ってするけれど読み終わらない」ということは誤りであるとしたら却ってしない fact18: あの四十八願は付与する fact19: 「程良くないししかも香ばしかない物は視認出来ない」ということは真実だ fact20: あの財務数値は焦点距離だ fact21: 「このＣアップは取得方法でなくて程良いということはない」ということは誤りならば「取得方法だ」ということは真実である fact22: もしその市全体は上がり難いということはないなら「あの練り胡麻は視認出来るかまたは上がり難い」ということは誤りだ fact23: 「あの練り胡麻は伸ばし易いということはないとしたら「その筋硬直は伸ばし易いか香ばしいかどちらもだ」ということは誤っている」ということは確かだ
void -> assump1: 以下のように仮定する。その市全体は上がり難い; fact12 & assump1 -> int1: このＣアップは付与しないけど積み出す; int1 -> int2: このＣアップは付与しない; fact21 & fact15 -> int3: 「このＣアップは取得方法だ」ということは成り立つ; fact2 -> int4: 仮にこのＣアップは取得方法なら「付与しない」ということは成り立たない; int3 & int4 -> int5: このＣアップは付与する; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その市全体は上がり難くない; int7 & fact22 -> int8: 「「あの練り胡麻は視認出来るかあるいは上がり難いかもしくは両方である」ということは正しい」ということは誤っている; fact13 -> int9: 仮に「あの練り胡麻は視認出来るかあるいは上がり難いかあるいは両方である」ということは成り立たないとしたらそれは伸ばし易くない; int8 & int9 -> int10: あの練り胡麻は伸ばし易くない; int10 & fact23 -> hypothesis;
「あの伝は取得方法であるかあるいは言語使用だ」ということは嘘だ
fact27 -> int11: もしもあの伝は上がり難くないとすれば「取得方法であるかもしくは言語使用だ」ということは嘘だ; fact24 -> int12: もしあの伝は程良いということはないし香ばしかないならそれは視認出来ない;
$facts$ = fact1: 「「このＣアップは取得方法であるがしかし程良くない」ということは正しい」ということは誤っている fact2: もしもなにかは取得方法だとしたら「それは付与する」ということは正しい fact3: もし仮にその相州屋は吹き払わなくてまた剥かないならそれは却ってする fact4: 仮にその相州屋が焦点距離だとしたらそれは吹き払わないし剥かない fact5: もし仮にこのＣアップは吹き払うとすると「その市全体は却ってするがしかし読み終わらない」ということは偽だ fact6: もしもとある物は上がり難いということはないとすれば「それは取得方法であるかまたは言語使用であるかあるいは両方ともだ」ということは誤りである fact7: あの財務数値が焦点距離であるとすればその相州屋は焦点距離だ fact8: 「その市全体は伸ばし易いということはなくてかつ上がり難くない」ということは誤りだとするとその筋硬直は伸ばし易い fact9: あの練り胡麻は付与しない fact10: その市全体が却ってしないとすればあの伝は程良くないし香ばしかない fact11: 仮に何かは却ってするとすればそれは取得方法であるかあるいは読み終わるということはないかあるいはどちらもだ fact12: もし仮にその市全体は上がり難いとすると「このＣアップは付与しないけど積み出す」ということは確かである fact13: 仮に「なにがしかの物は視認出来るかあるいはそれは上がり難い」ということは成り立たないとすると伸ばし易くない fact14: この不定形動詞類は管理し易くない一方でそれは本箱である fact15: 「このＣアップは取得方法でなくて加えて程良いということはない」ということは誤りである fact16: 仮に「このＣアップは程良くない一方で視認出来る」ということは事実だとするとその市全体は視認出来ない fact17: もし仮に「その市全体は却ってするけれど読み終わらない」ということは誤りであるとしたら却ってしない fact18: あの四十八願は付与する fact19: 「程良くないししかも香ばしかない物は視認出来ない」ということは真実だ fact20: あの財務数値は焦点距離だ fact21: 「このＣアップは取得方法でなくて程良いということはない」ということは誤りならば「取得方法だ」ということは真実である fact22: もしその市全体は上がり難いということはないなら「あの練り胡麻は視認出来るかまたは上がり難い」ということは誤りだ fact23: 「あの練り胡麻は伸ばし易いということはないとしたら「その筋硬直は伸ばし易いか香ばしいかどちらもだ」ということは誤っている」ということは確かだ ; $hypothesis$ = 「その筋硬直は伸ばし易いかあるいはそれは香ばしいかまたはどちらもである」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。その市全体は上がり難い; fact12 & assump1 -> int1: このＣアップは付与しないけど積み出す; int1 -> int2: このＣアップは付与しない; fact21 & fact15 -> int3: 「このＣアップは取得方法だ」ということは成り立つ; fact2 -> int4: 仮にこのＣアップは取得方法なら「付与しない」ということは成り立たない; int3 & int4 -> int5: このＣアップは付与する; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その市全体は上がり難くない; int7 & fact22 -> int8: 「「あの練り胡麻は視認出来るかあるいは上がり難いかもしくは両方である」ということは正しい」ということは誤っている; fact13 -> int9: 仮に「あの練り胡麻は視認出来るかあるいは上がり難いかあるいは両方である」ということは成り立たないとしたらそれは伸ばし易くない; int8 & int9 -> int10: あの練り胡麻は伸ばし易くない; int10 & fact23 -> hypothesis; __PROVED__
事実1: 「「このＣアップは取得方法であるがしかし程良くない」ということは正しい」ということは誤っている
事実2: もしもなにかは取得方法だとしたら「それは付与する」ということは正しい
事実3: もし仮にその相州屋は吹き払わなくてまた剥かないならそれは却ってする
事実4: 仮にその相州屋が焦点距離だとしたらそれは吹き払わないし剥かない
事実5: もし仮にこのＣアップは吹き払うとすると「その市全体は却ってするがしかし読み終わらない」ということは偽だ
事実6: もしもとある物は上がり難いということはないとすれば「それは取得方法であるかまたは言語使用であるかあるいは両方ともだ」ということは誤りである
事実7: あの財務数値が焦点距離であるとすればその相州屋は焦点距離だ
事実8: 「その市全体は伸ばし易いということはなくてかつ上がり難くない」ということは誤りだとするとその筋硬直は伸ばし易い
事実9: あの練り胡麻は付与しない
事実10: その市全体が却ってしないとすればあの伝は程良くないし香ばしかない
事実11: 仮に何かは却ってするとすればそれは取得方法であるかあるいは読み終わるということはないかあるいはどちらもだ
事実12: もし仮にその市全体は上がり難いとすると「このＣアップは付与しないけど積み出す」ということは確かである
事実13: 仮に「なにがしかの物は視認出来るかあるいはそれは上がり難い」ということは成り立たないとすると伸ばし易くない
事実14: この不定形動詞類は管理し易くない一方でそれは本箱である
事実15: 「このＣアップは取得方法でなくて加えて程良いということはない」ということは誤りである
事実16: 仮に「このＣアップは程良くない一方で視認出来る」ということは事実だとするとその市全体は視認出来ない
事実17: もし仮に「その市全体は却ってするけれど読み終わらない」ということは誤りであるとしたら却ってしない
事実18: あの四十八願は付与する
事実19: 「程良くないししかも香ばしかない物は視認出来ない」ということは真実だ
事実20: あの財務数値は焦点距離だ
事実21: 「このＣアップは取得方法でなくて程良いということはない」ということは誤りならば「取得方法だ」ということは真実である
事実22: もしその市全体は上がり難いということはないなら「あの練り胡麻は視認出来るかまたは上がり難い」ということは誤りだ
事実23: 「あの練り胡麻は伸ばし易いということはないとしたら「その筋硬直は伸ばし易いか香ばしいかどちらもだ」ということは誤っている」ということは確かだ

仮説: 「その筋硬直は伸ばし易いかあるいはそれは香ばしいかまたはどちらもである」ということは事実と異なる
1. 仮定1: 以下のように仮定する。その市全体は上がり難い
2. 事実12と仮定1から、推論1: "このＣアップは付与しないけど積み出す"が導かれる
3. 推論1から、推論2: "このＣアップは付与しない"が導かれる
4. 事実21と事実15から、推論3: "「このＣアップは取得方法だ」ということは成り立つ"が導かれる
5. 事実2から、推論4: "仮にこのＣアップは取得方法なら「付与しない」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "このＣアップは付与する"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その市全体は上がり難くない"が導かれる
9. 推論7と事実22から、推論8: "「「あの練り胡麻は視認出来るかあるいは上がり難いかもしくは両方である」ということは正しい」ということは誤っている"が導かれる
10. 事実13から、推論9: "仮に「あの練り胡麻は視認出来るかあるいは上がり難いかあるいは両方である」ということは成り立たないとしたらそれは伸ばし易くない"が導かれる
11. 推論8と推論9から、推論10: "あの練り胡麻は伸ばし易くない"が導かれる
12. 推論10と事実23から、仮説が導かれる

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