この原病は調和し難い
fact1: もし仮にこの無残さが併科しないとしたらこの原病は調和し難い fact2: もしこの無残さが生白いとしたらあの活動場所は生白くないしさらにスタートすらない fact3: 「あの活動場所は生白くないがスタートす」ということは誤っている fact4: あの活動場所はスタートすらない fact5: もし仮にあの活動場所は滑り易くないなら「気遣うしスタートす」ということは事実と異なる fact6: この原病が併科するとしたらこの無残さは生白い fact7: 仮にこの無残さが生白いならあの活動場所はスタートすらない fact8: もしこの余技は抱き取れば「あの活動場所は生白くなくてその上スタートさない」ということは誤りだ fact9: この原病は気遣わないか滑り易いかもしくは両方ともだ fact10: 利用され易いものは気遣うということはないかもしくは滑り易いかどちらもだ fact11: もしこの原病が滑り易くないかもしくはそれは生白いということはないかどちらもだとすれば「併科しない」ということは正しい fact12: この余技は抱き取るしおまけに近代編だ fact13: この余技は近代編である fact14: この原病は気遣うかもしくはそれは滑り易くないかまたは両方だ fact15: もしなんらかの物が利用され易いならば気遣うかあるいは滑り易くないかまたは両方ともである fact16: もし仮にこの原病が利用され易いなら気遣うかまたは滑り易くないかもしくはどちらもだ fact17: もしもあの活動場所が近代編だとしたらそれは抱き取る fact18: 仮にあの活動場所が抱き取ればそれは滑り易くない fact19: この余技は抱き取るなら「あの活動場所は生白くない一方でスタートす」ということは誤りだ fact20: もしも「この原病は利用され易い」ということは成り立つとするとそれは気遣わないかもしくは滑り易いかもしくは両方である fact21: もし仮に何かは利用され易いとすると「気遣うということはないかあるいは滑り易いということはないかまたはどちらもである」ということは確かだ fact22: もしもあの活動場所は生白くないならば「併科しなくて利用され易いということはない」ということは間違っている fact23: この当事者等は調和し難くてそれはＣ型慢性肝炎症例だ fact24: なんらかの物は気遣わないか滑り易くないかまたはどちらもであるとしたら「それは調和し難くない」ということは成り立つ fact25: 利用され易くておまけに生白い物は併科しない fact26: 仮になんらかの物は併科しないとしたら「それは利用され易い」ということは事実だ
void -> assump1: 以下のように仮定する。この原病は併科する; fact6 & assump1 -> int1: 「この無残さは生白い」ということは正しい; int1 & fact2 -> int2: あの活動場所は生白くないし加えてそれはスタートすらない; fact12 -> int3: この余技は抱き取る; fact8 & int3 -> int4: 「あの活動場所は生白くないしその上スタートさない」ということは事実と異なる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この原病は併科しない; fact26 -> int7: この原病が併科しないならば利用され易い; int6 & int7 -> int8: この原病は利用され易い; fact21 -> int9: もしこの原病が利用され易いとすればそれは気遣わないかあるいはそれは滑り易くない; int8 & int9 -> int10: 「この原病は気遣うということはないかもしくは滑り易くないかまたはどちらもである」ということは成り立つ; fact24 -> int11: もしもこの原病が気遣わないかあるいは滑り易くないかもしくは両方ならば調和し難くない; int10 & int11 -> hypothesis;
「この原病は調和し難い」ということは成り立つ
$facts$ = fact1: もし仮にこの無残さが併科しないとしたらこの原病は調和し難い fact2: もしこの無残さが生白いとしたらあの活動場所は生白くないしさらにスタートすらない fact3: 「あの活動場所は生白くないがスタートす」ということは誤っている fact4: あの活動場所はスタートすらない fact5: もし仮にあの活動場所は滑り易くないなら「気遣うしスタートす」ということは事実と異なる fact6: この原病が併科するとしたらこの無残さは生白い fact7: 仮にこの無残さが生白いならあの活動場所はスタートすらない fact8: もしこの余技は抱き取れば「あの活動場所は生白くなくてその上スタートさない」ということは誤りだ fact9: この原病は気遣わないか滑り易いかもしくは両方ともだ fact10: 利用され易いものは気遣うということはないかもしくは滑り易いかどちらもだ fact11: もしこの原病が滑り易くないかもしくはそれは生白いということはないかどちらもだとすれば「併科しない」ということは正しい fact12: この余技は抱き取るしおまけに近代編だ fact13: この余技は近代編である fact14: この原病は気遣うかもしくはそれは滑り易くないかまたは両方だ fact15: もしなんらかの物が利用され易いならば気遣うかあるいは滑り易くないかまたは両方ともである fact16: もし仮にこの原病が利用され易いなら気遣うかまたは滑り易くないかもしくはどちらもだ fact17: もしもあの活動場所が近代編だとしたらそれは抱き取る fact18: 仮にあの活動場所が抱き取ればそれは滑り易くない fact19: この余技は抱き取るなら「あの活動場所は生白くない一方でスタートす」ということは誤りだ fact20: もしも「この原病は利用され易い」ということは成り立つとするとそれは気遣わないかもしくは滑り易いかもしくは両方である fact21: もし仮に何かは利用され易いとすると「気遣うということはないかあるいは滑り易いということはないかまたはどちらもである」ということは確かだ fact22: もしもあの活動場所は生白くないならば「併科しなくて利用され易いということはない」ということは間違っている fact23: この当事者等は調和し難くてそれはＣ型慢性肝炎症例だ fact24: なんらかの物は気遣わないか滑り易くないかまたはどちらもであるとしたら「それは調和し難くない」ということは成り立つ fact25: 利用され易くておまけに生白い物は併科しない fact26: 仮になんらかの物は併科しないとしたら「それは利用され易い」ということは事実だ ; $hypothesis$ = この原病は調和し難い ; $proof$ = 
void -> assump1: 以下のように仮定する。この原病は併科する; fact6 & assump1 -> int1: 「この無残さは生白い」ということは正しい; int1 & fact2 -> int2: あの活動場所は生白くないし加えてそれはスタートすらない; fact12 -> int3: この余技は抱き取る; fact8 & int3 -> int4: 「あの活動場所は生白くないしその上スタートさない」ということは事実と異なる; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この原病は併科しない; fact26 -> int7: この原病が併科しないならば利用され易い; int6 & int7 -> int8: この原病は利用され易い; fact21 -> int9: もしこの原病が利用され易いとすればそれは気遣わないかあるいはそれは滑り易くない; int8 & int9 -> int10: 「この原病は気遣うということはないかもしくは滑り易くないかまたはどちらもである」ということは成り立つ; fact24 -> int11: もしもこの原病が気遣わないかあるいは滑り易くないかもしくは両方ならば調和し難くない; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もし仮にこの無残さが併科しないとしたらこの原病は調和し難い
事実2: もしこの無残さが生白いとしたらあの活動場所は生白くないしさらにスタートすらない
事実3: 「あの活動場所は生白くないがスタートす」ということは誤っている
事実4: あの活動場所はスタートすらない
事実5: もし仮にあの活動場所は滑り易くないなら「気遣うしスタートす」ということは事実と異なる
事実6: この原病が併科するとしたらこの無残さは生白い
事実7: 仮にこの無残さが生白いならあの活動場所はスタートすらない
事実8: もしこの余技は抱き取れば「あの活動場所は生白くなくてその上スタートさない」ということは誤りだ
事実9: この原病は気遣わないか滑り易いかもしくは両方ともだ
事実10: 利用され易いものは気遣うということはないかもしくは滑り易いかどちらもだ
事実11: もしこの原病が滑り易くないかもしくはそれは生白いということはないかどちらもだとすれば「併科しない」ということは正しい
事実12: この余技は抱き取るしおまけに近代編だ
事実13: この余技は近代編である
事実14: この原病は気遣うかもしくはそれは滑り易くないかまたは両方だ
事実15: もしなんらかの物が利用され易いならば気遣うかあるいは滑り易くないかまたは両方ともである
事実16: もし仮にこの原病が利用され易いなら気遣うかまたは滑り易くないかもしくはどちらもだ
事実17: もしもあの活動場所が近代編だとしたらそれは抱き取る
事実18: 仮にあの活動場所が抱き取ればそれは滑り易くない
事実19: この余技は抱き取るなら「あの活動場所は生白くない一方でスタートす」ということは誤りだ
事実20: もしも「この原病は利用され易い」ということは成り立つとするとそれは気遣わないかもしくは滑り易いかもしくは両方である
事実21: もし仮に何かは利用され易いとすると「気遣うということはないかあるいは滑り易いということはないかまたはどちらもである」ということは確かだ
事実22: もしもあの活動場所は生白くないならば「併科しなくて利用され易いということはない」ということは間違っている
事実23: この当事者等は調和し難くてそれはＣ型慢性肝炎症例だ
事実24: なんらかの物は気遣わないか滑り易くないかまたはどちらもであるとしたら「それは調和し難くない」ということは成り立つ
事実25: 利用され易くておまけに生白い物は併科しない
事実26: 仮になんらかの物は併科しないとしたら「それは利用され易い」ということは事実だ

仮説: この原病は調和し難い
1. 仮定1: 以下のように仮定する。この原病は併科する
2. 事実6と仮定1から、推論1: "「この無残さは生白い」ということは正しい"が導かれる
3. 推論1と事実2から、推論2: "あの活動場所は生白くないし加えてそれはスタートすらない"が導かれる
4. 事実12から、推論3: "この余技は抱き取る"が導かれる
5. 事実8と推論3から、推論4: "「あの活動場所は生白くないしその上スタートさない」ということは事実と異なる"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この原病は併科しない"が導かれる
8. 事実26から、推論7: "この原病が併科しないならば利用され易い"が導かれる
9. 推論6と推論7から、推論8: "この原病は利用され易い"が導かれる
10. 事実21から、推論9: "もしこの原病が利用され易いとすればそれは気遣わないかあるいはそれは滑り易くない"が導かれる
11. 推論8と推論9から、推論10: "「この原病は気遣うということはないかもしくは滑り易くないかまたはどちらもである」ということは成り立つ"が導かれる
12. 事実24から、推論11: "もしもこの原病が気遣わないかあるいは滑り易くないかもしくは両方ならば調和し難くない"が導かれる
13. 推論10と推論11から、仮説が否定される

よって、仮説が否定されました。