その出血部位は予納するということはない
fact1: もしなにがしかの物は積層するとすれば「そのコールドがむくつけししその上伴い易い」ということは間違いだ fact2: あの御職は積層する fact3: あの共済事業はむくつけしない fact4: 「ポントルソン城代である」ものはある fact5: その出血部位がむくつけしないとするとその介護給付費は予納するかまたはそれはポントルソン城代であるかまたは両方ともだ fact6: 仮に「「むくつけしし伴い易い」ということは誤っている」ものはあるとすると「その内科・外科・産婦人科・小児科・精神科はむくつけしない」ということは確かである fact7: 仮にあの建て替え後がポントルソン城代であるかむくつけしないかもしくは両方ともであるとするとその出血部位はポントルソン城代でない fact8: そのコールドは把握し辛くない fact9: 仮にあの建て替え後は見詰め続けるとすると「その出血部位は積層しないし更に伴い易いということはない」ということは誤りだ fact10: もしも「ポントルソン城代である」ものがあるとしたらその出血部位は絹物でない fact11: 「とある物はポントルソン城代でない」ということは事実ならば予納するし絹物である fact12: もし「とある物は積層しないし加えて伴い易くない」ということは成り立たないとすればそれはむくつけしない fact13: もしそのコールドが把握し辛いということはないとしたらその内科・外科・産婦人科・小児科・精神科は塔でないけど言い易い fact14: もし仮にその出血部位が予納するならそれは絹物だ
void -> assump1: 以下のように仮定する。その出血部位は予納する; fact14 & assump1 -> int1: その出血部位は絹物である; fact4 & fact10 -> int2: その出血部位は絹物でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「その出血部位は予納する」ということは真実だ
fact19 -> int4: もし仮にその出血部位がポントルソン城代でないとすれば予納するし絹物である; fact18 -> int5: 「「積層する」ということは真実である」ものはある; int5 & fact15 -> int6: 「「そのコールドはむくつけししその上伴い易い」ということは成り立たない」ということは事実である; int6 -> int7: 「「むくつけししその上伴い易い」ということは嘘である」ものはある; int7 & fact16 -> int8: その内科・外科・産婦人科・小児科・精神科はむくつけしない; int8 -> int9: むくつけしということはないものはある;
$facts$ = fact1: もしなにがしかの物は積層するとすれば「そのコールドがむくつけししその上伴い易い」ということは間違いだ fact2: あの御職は積層する fact3: あの共済事業はむくつけしない fact4: 「ポントルソン城代である」ものはある fact5: その出血部位がむくつけしないとするとその介護給付費は予納するかまたはそれはポントルソン城代であるかまたは両方ともだ fact6: 仮に「「むくつけしし伴い易い」ということは誤っている」ものはあるとすると「その内科・外科・産婦人科・小児科・精神科はむくつけしない」ということは確かである fact7: 仮にあの建て替え後がポントルソン城代であるかむくつけしないかもしくは両方ともであるとするとその出血部位はポントルソン城代でない fact8: そのコールドは把握し辛くない fact9: 仮にあの建て替え後は見詰め続けるとすると「その出血部位は積層しないし更に伴い易いということはない」ということは誤りだ fact10: もしも「ポントルソン城代である」ものがあるとしたらその出血部位は絹物でない fact11: 「とある物はポントルソン城代でない」ということは事実ならば予納するし絹物である fact12: もし「とある物は積層しないし加えて伴い易くない」ということは成り立たないとすればそれはむくつけしない fact13: もしそのコールドが把握し辛いということはないとしたらその内科・外科・産婦人科・小児科・精神科は塔でないけど言い易い fact14: もし仮にその出血部位が予納するならそれは絹物だ ; $hypothesis$ = その出血部位は予納するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その出血部位は予納する; fact14 & assump1 -> int1: その出血部位は絹物である; fact4 & fact10 -> int2: その出血部位は絹物でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしなにがしかの物は積層するとすれば「そのコールドがむくつけししその上伴い易い」ということは間違いだ
事実2: あの御職は積層する
事実3: あの共済事業はむくつけしない
事実4: 「ポントルソン城代である」ものはある
事実5: その出血部位がむくつけしないとするとその介護給付費は予納するかまたはそれはポントルソン城代であるかまたは両方ともだ
事実6: 仮に「「むくつけしし伴い易い」ということは誤っている」ものはあるとすると「その内科・外科・産婦人科・小児科・精神科はむくつけしない」ということは確かである
事実7: 仮にあの建て替え後がポントルソン城代であるかむくつけしないかもしくは両方ともであるとするとその出血部位はポントルソン城代でない
事実8: そのコールドは把握し辛くない
事実9: 仮にあの建て替え後は見詰め続けるとすると「その出血部位は積層しないし更に伴い易いということはない」ということは誤りだ
事実10: もしも「ポントルソン城代である」ものがあるとしたらその出血部位は絹物でない
事実11: 「とある物はポントルソン城代でない」ということは事実ならば予納するし絹物である
事実12: もし「とある物は積層しないし加えて伴い易くない」ということは成り立たないとすればそれはむくつけしない
事実13: もしそのコールドが把握し辛いということはないとしたらその内科・外科・産婦人科・小児科・精神科は塔でないけど言い易い
事実14: もし仮にその出血部位が予納するならそれは絹物だ

仮説: その出血部位は予納するということはない
1. 仮定1: 以下のように仮定する。その出血部位は予納する
2. 事実14と仮定1から、推論1: "その出血部位は絹物である"が導かれる
3. 事実4と事実10から、推論2: "その出血部位は絹物でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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