この後面は赤しけど熱くない
fact1: 仮に「「五人以上だ」ということは成り立つ」ものがあるとしたらそのミックスＣＤは護法神であるかそれは気付き難くない fact2: 仮に熱くないものが選び出すならその不信仰は赤しない fact3: 「この後面は赤しし加えて熱い」ということは事実であるということはない fact4: もしも何らかの物は冷え冷えするしそれに選び出すとすれば熱いということはない fact5: 仮にそのミックスＣＤは赤しということはないなら「「この後面は赤しけれど熱くない」ということは確かである」ということは誤りだ fact6: この精神的損害は太刀打ち出来ないがしかしホームレス氏である fact7: もしも「あるものは仕るということはないがしかし冷え冷えする」ということは成り立たないとすると太刀打ち出来る fact8: この精神的損害はホームレス氏である fact9: 仮にこの後面はホームレス氏でないならば「この精神的損害はホームレス氏だけど赤しない」ということは間違っている fact10: あるものは五人以上である fact11: もしこの精神的損害が赤しとすればあの後面は赤し fact12: もしもなにがしかの物が冷え冷えするかもしくは仕るかまたは両方だとしたら赤しない fact13: 仮にそのミックスＣＤが仕るならこの精神的損害は赤し fact14: 「この後面は太刀打ち出来るが列車内でない」ということは偽だ fact15: 弱しということはない物は熱くないけれど選び出す fact16: 仮になにがしかの物が護法神であるか気付き難いということはないかどちらもであるとすればこの精神的損害は弱しということはない fact17: もし仮にこの精神的損害が太刀打ち出来ないけどホームレス氏であるとすればそのミックスＣＤは冷え冷えする
fact17 & fact6 -> int1: そのミックスＣＤは冷え冷えする; int1 -> int2: そのミックスＣＤは冷え冷えするかあるいはそれは仕る; fact12 -> int3: もしそのミックスＣＤが冷え冷えするかもしくはそれは仕るかもしくは両方ともであるとすればそれは赤しない; int2 & int3 -> int4: そのミックスＣＤは赤しない; int4 & fact5 -> hypothesis;
その不信仰は太刀打ち出来る
fact19 -> int5: 仮に「その不信仰は仕るということはないが冷え冷えする」ということは成り立たないならばそれは太刀打ち出来る; fact21 -> int6: もしもこの精神的損害が弱しないとするとそれは熱くないけど選び出す; fact20 & fact23 -> int7: そのミックスＣＤは護法神であるかまたはそれは気付き難くないか両方ともである; int7 -> int8: 「護法神であるかもしくは気付き難くない」物はある; int8 & fact22 -> int9: この精神的損害は弱しない; int6 & int9 -> int10: この精神的損害は熱くないけどそれは選び出す; int10 -> int11: とあるものは熱くない物でおまけに選び出す; int11 & fact18 -> int12: その不信仰は赤しない;
$facts$ = fact1: 仮に「「五人以上だ」ということは成り立つ」ものがあるとしたらそのミックスＣＤは護法神であるかそれは気付き難くない fact2: 仮に熱くないものが選び出すならその不信仰は赤しない fact3: 「この後面は赤しし加えて熱い」ということは事実であるということはない fact4: もしも何らかの物は冷え冷えするしそれに選び出すとすれば熱いということはない fact5: 仮にそのミックスＣＤは赤しということはないなら「「この後面は赤しけれど熱くない」ということは確かである」ということは誤りだ fact6: この精神的損害は太刀打ち出来ないがしかしホームレス氏である fact7: もしも「あるものは仕るということはないがしかし冷え冷えする」ということは成り立たないとすると太刀打ち出来る fact8: この精神的損害はホームレス氏である fact9: 仮にこの後面はホームレス氏でないならば「この精神的損害はホームレス氏だけど赤しない」ということは間違っている fact10: あるものは五人以上である fact11: もしこの精神的損害が赤しとすればあの後面は赤し fact12: もしもなにがしかの物が冷え冷えするかもしくは仕るかまたは両方だとしたら赤しない fact13: 仮にそのミックスＣＤが仕るならこの精神的損害は赤し fact14: 「この後面は太刀打ち出来るが列車内でない」ということは偽だ fact15: 弱しということはない物は熱くないけれど選び出す fact16: 仮になにがしかの物が護法神であるか気付き難いということはないかどちらもであるとすればこの精神的損害は弱しということはない fact17: もし仮にこの精神的損害が太刀打ち出来ないけどホームレス氏であるとすればそのミックスＣＤは冷え冷えする ; $hypothesis$ = この後面は赤しけど熱くない ; $proof$ = 
fact17 & fact6 -> int1: そのミックスＣＤは冷え冷えする; int1 -> int2: そのミックスＣＤは冷え冷えするかあるいはそれは仕る; fact12 -> int3: もしそのミックスＣＤが冷え冷えするかもしくはそれは仕るかもしくは両方ともであるとすればそれは赤しない; int2 & int3 -> int4: そのミックスＣＤは赤しない; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮に「「五人以上だ」ということは成り立つ」ものがあるとしたらそのミックスＣＤは護法神であるかそれは気付き難くない
事実2: 仮に熱くないものが選び出すならその不信仰は赤しない
事実3: 「この後面は赤しし加えて熱い」ということは事実であるということはない
事実4: もしも何らかの物は冷え冷えするしそれに選び出すとすれば熱いということはない
事実5: 仮にそのミックスＣＤは赤しということはないなら「「この後面は赤しけれど熱くない」ということは確かである」ということは誤りだ
事実6: この精神的損害は太刀打ち出来ないがしかしホームレス氏である
事実7: もしも「あるものは仕るということはないがしかし冷え冷えする」ということは成り立たないとすると太刀打ち出来る
事実8: この精神的損害はホームレス氏である
事実9: 仮にこの後面はホームレス氏でないならば「この精神的損害はホームレス氏だけど赤しない」ということは間違っている
事実10: あるものは五人以上である
事実11: もしこの精神的損害が赤しとすればあの後面は赤し
事実12: もしもなにがしかの物が冷え冷えするかもしくは仕るかまたは両方だとしたら赤しない
事実13: 仮にそのミックスＣＤが仕るならこの精神的損害は赤し
事実14: 「この後面は太刀打ち出来るが列車内でない」ということは偽だ
事実15: 弱しということはない物は熱くないけれど選び出す
事実16: 仮になにがしかの物が護法神であるか気付き難いということはないかどちらもであるとすればこの精神的損害は弱しということはない
事実17: もし仮にこの精神的損害が太刀打ち出来ないけどホームレス氏であるとすればそのミックスＣＤは冷え冷えする

仮説: この後面は赤しけど熱くない
1. 事実17と事実6から、推論1: "そのミックスＣＤは冷え冷えする"が導かれる
2. 推論1から、推論2: "そのミックスＣＤは冷え冷えするかあるいはそれは仕る"が導かれる
3. 事実12から、推論3: "もしそのミックスＣＤが冷え冷えするかもしくはそれは仕るかもしくは両方ともであるとすればそれは赤しない"が導かれる
4. 推論2と推論3から、推論4: "そのミックスＣＤは赤しない"が導かれる
5. 推論4と事実5から、仮説が否定される

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