その処置後は蓄積され易くない
fact1: 「そのκＸは未発表エッセイ原稿だ」ということは正しいとすればあの処置後は発症し易い fact2: 仮に何かは上げ易くないとしたら「受け渡しするしさらに妊娠する」ということは間違っている fact3: もしもその千八百四十年代が甘くないとしたらそのκＸは未発表エッセイ原稿だ fact4: とあるものが覚え難いならばそれは別添である fact5: Ｃ型肝炎は発症し易い fact6: 発症し易い物は蓄積され易い fact7: もし仮にその千八百四十年代が甘いということはないとしたらその処置後は蓄積され易くない fact8: もしそのκＸが発症し易いなら未発表エッセイ原稿だ fact9: そのκＸは分配原理である fact10: もしも何かは揺さぶりでないしその上ジョギングしないならばそれは上げ易くない fact11: もしもとあるものが受け渡ししないとしたら生白くないがしかし縛り上げる fact12: もしそのκＸは分配原理だとすると「それは揺さぶりだということはないしその上ジョギングしない」ということは成り立つ fact13: その千八百四十年代は甘くないかまたはそれは紀勢本線でないかまたは両方ともだ fact14: もし仮にその千八百四十年代が発症し易いとしたらそれは紀勢本線である fact15: 未発表エッセイ原稿は紀勢本線であるということはないならば「それは甘くない」ということは確かである fact16: もし仮にその処置後が紀勢本線だとしたらその千八百四十年代は蓄積され易い fact17: もしもその千八百四十年代が紀勢本線でないならそのκＸは未発表エッセイ原稿である fact18: もし仮に生白くない物が縛り上げるとしたらＣ型肝炎だ fact19: そのκＸは甘い fact20: 発症し易いものは未発表エッセイ原稿だけれど紀勢本線でない
fact13 & fact3 & fact17 -> int1: そのκＸは未発表エッセイ原稿である; int1 & fact1 -> int2: その処置後は発症し易い; fact6 -> int3: もしもその処置後が発症し易いならそれは蓄積され易い; int2 & int3 -> hypothesis;
fact13 & fact3 & fact17 -> int1: {C}{c}; int1 & fact1 -> int2: {D}{b}; fact6 -> int3: {D}{b} -> {E}{b}; int2 & int3 -> hypothesis;
「その処置後は蓄積され易くない」ということは成り立つ
fact25 -> int4: もし仮にその千八百四十年代が未発表エッセイ原稿であるが紀勢本線でないとすれば甘くない; fact30 -> int5: もしその千八百四十年代は発症し易いとしたら「それは未発表エッセイ原稿であるしそれにそれは紀勢本線でない」ということは成り立つ; fact26 -> int6: 仮にその千八百四十年代はＣ型肝炎であるとすれば発症し易い; fact27 -> int7: もしその千八百四十年代は生白くないがしかし縛り上げるとするとＣ型肝炎だ; fact28 -> int8: もし仮にその千八百四十年代が受け渡ししないとすれば生白くない一方で縛り上げる; fact29 -> int9: 仮にそのκＸは上げ易くないとすれば「それは受け渡しするしその上妊娠する」ということは偽だ; fact21 -> int10: そのκＸは揺さぶりでなくて更にジョギングしないなら上げ易くない; fact22 & fact24 -> int11: そのκＸは揺さぶりであるということはないしそれはジョギングするということはない; int10 & int11 -> int12: そのκＸは上げ易くない; int9 & int12 -> int13: 「そのκＸは受け渡しするしそれは妊娠する」ということは誤りである; int13 -> int14: 「「受け渡しするし妊娠する」ということは嘘な」ものはある;
$facts$ = fact1: 「そのκＸは未発表エッセイ原稿だ」ということは正しいとすればあの処置後は発症し易い fact2: 仮に何かは上げ易くないとしたら「受け渡しするしさらに妊娠する」ということは間違っている fact3: もしもその千八百四十年代が甘くないとしたらそのκＸは未発表エッセイ原稿だ fact4: とあるものが覚え難いならばそれは別添である fact5: Ｃ型肝炎は発症し易い fact6: 発症し易い物は蓄積され易い fact7: もし仮にその千八百四十年代が甘いということはないとしたらその処置後は蓄積され易くない fact8: もしそのκＸが発症し易いなら未発表エッセイ原稿だ fact9: そのκＸは分配原理である fact10: もしも何かは揺さぶりでないしその上ジョギングしないならばそれは上げ易くない fact11: もしもとあるものが受け渡ししないとしたら生白くないがしかし縛り上げる fact12: もしそのκＸは分配原理だとすると「それは揺さぶりだということはないしその上ジョギングしない」ということは成り立つ fact13: その千八百四十年代は甘くないかまたはそれは紀勢本線でないかまたは両方ともだ fact14: もし仮にその千八百四十年代が発症し易いとしたらそれは紀勢本線である fact15: 未発表エッセイ原稿は紀勢本線であるということはないならば「それは甘くない」ということは確かである fact16: もし仮にその処置後が紀勢本線だとしたらその千八百四十年代は蓄積され易い fact17: もしもその千八百四十年代が紀勢本線でないならそのκＸは未発表エッセイ原稿である fact18: もし仮に生白くない物が縛り上げるとしたらＣ型肝炎だ fact19: そのκＸは甘い fact20: 発症し易いものは未発表エッセイ原稿だけれど紀勢本線でない ; $hypothesis$ = その処置後は蓄積され易くない ; $proof$ = 
fact13 & fact3 & fact17 -> int1: そのκＸは未発表エッセイ原稿である; int1 & fact1 -> int2: その処置後は発症し易い; fact6 -> int3: もしもその処置後が発症し易いならそれは蓄積され易い; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「そのκＸは未発表エッセイ原稿だ」ということは正しいとすればあの処置後は発症し易い
事実2: 仮に何かは上げ易くないとしたら「受け渡しするしさらに妊娠する」ということは間違っている
事実3: もしもその千八百四十年代が甘くないとしたらそのκＸは未発表エッセイ原稿だ
事実4: とあるものが覚え難いならばそれは別添である
事実5: Ｃ型肝炎は発症し易い
事実6: 発症し易い物は蓄積され易い
事実7: もし仮にその千八百四十年代が甘いということはないとしたらその処置後は蓄積され易くない
事実8: もしそのκＸが発症し易いなら未発表エッセイ原稿だ
事実9: そのκＸは分配原理である
事実10: もしも何かは揺さぶりでないしその上ジョギングしないならばそれは上げ易くない
事実11: もしもとあるものが受け渡ししないとしたら生白くないがしかし縛り上げる
事実12: もしそのκＸは分配原理だとすると「それは揺さぶりだということはないしその上ジョギングしない」ということは成り立つ
事実13: その千八百四十年代は甘くないかまたはそれは紀勢本線でないかまたは両方ともだ
事実14: もし仮にその千八百四十年代が発症し易いとしたらそれは紀勢本線である
事実15: 未発表エッセイ原稿は紀勢本線であるということはないならば「それは甘くない」ということは確かである
事実16: もし仮にその処置後が紀勢本線だとしたらその千八百四十年代は蓄積され易い
事実17: もしもその千八百四十年代が紀勢本線でないならそのκＸは未発表エッセイ原稿である
事実18: もし仮に生白くない物が縛り上げるとしたらＣ型肝炎だ
事実19: そのκＸは甘い
事実20: 発症し易いものは未発表エッセイ原稿だけれど紀勢本線でない

仮説: その処置後は蓄積され易くない
1. 事実13と事実3と事実17から、推論1: "そのκＸは未発表エッセイ原稿である"が導かれる
2. 推論1と事実1から、推論2: "その処置後は発症し易い"が導かれる
3. 事実6から、推論3: "もしもその処置後が発症し易いならそれは蓄積され易い"が導かれる
4. 推論2と推論3から、仮説が否定される

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