このオキシドールは得点王でない
fact1: 何かは指弾しないとすると「十二章であるけれど席でない」ということは嘘である fact2: このオキシドールは不足し易くないし苦々しかない fact3: 仮にとあるものは日和見感染症でないとしたらそれは市街化調整区域でなくて更に通信産業でない fact4: 「この非血縁は指弾しない」ということは成り立つ fact5: このオキシドールは裁判外だ fact6: もしもこの非血縁が自作するし加えて日和見感染症ならこのオキシドールは日和見感染症でない fact7: 仮にこのオキシドールは市街化調整区域であるということはないとすればふてぶてしいけど裁判外でない fact8: 仮にふてぶてしい物は裁判外でないならそれは得点王であるということはない fact9: 「この中間利息は成功し易いが主要チャクラでない」ということは間違いだ fact10: 「このオキシドールは指弾するけれど成功し易いということはない」ということは成り立つということはない fact11: このオキシドールは揃える fact12: 「このオキシドールは成功し易い一方で認識しない」ということは誤りだ fact13: 「このオキシドールは裁判外である」ということは正しいとしたら「それは成功し易くないし認識するということはない」ということは成り立たない fact14: 地中深いものは十二誘導でないならば相互直通する fact15: もし「ある物は十二章であるがしかし席でない」ということは事実と異なるならそれは自作する fact16: この非血縁がボスコニーでないとすればそれは地中深いが十二誘導でない fact17: この非血縁が相互直通するならそれは日和見感染症だ fact18: 仮にこのオキシドールは裁判外であるなら「それは成功し易くないがしかし認識する」ということは正しくない fact19: この翼屋は認識しない fact20: 仮にこのオキシドールは得点王でないならば「それは成功し易くないしまたそれは認識するということはない」ということは成り立つ
void -> assump1: 以下のように仮定する。このオキシドールは得点王でない; fact20 & assump1 -> int1: このオキシドールは成功し易くないし認識しない; fact13 & fact5 -> int2: 「このオキシドールは成功し易くないし更に認識しない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
このオキシドールは得点王であるということはない
fact29 -> int4: もしこのオキシドールがふてぶてしいけれどそれが裁判外でないとすれば得点王でない; fact24 -> int5: 仮にこのオキシドールが日和見感染症でないならそれは市街化調整区域でなくておまけに通信産業でない; fact26 -> int6: 「この非血縁は十二章であるけど席でない」ということは真実でないとすると自作する; fact22 -> int7: 「この非血縁は指弾しない」ということは偽でないならば「それは十二章だけど席でない」ということは事実と異なる; int7 & fact25 -> int8: 「この非血縁は十二章であるが席でない」ということは成り立たない; int6 & int8 -> int9: この非血縁は自作する; fact28 -> int10: もしもこの非血縁は地中深いけれど十二誘導でないとするとそれは相互直通する;
$facts$ = fact1: 何かは指弾しないとすると「十二章であるけれど席でない」ということは嘘である fact2: このオキシドールは不足し易くないし苦々しかない fact3: 仮にとあるものは日和見感染症でないとしたらそれは市街化調整区域でなくて更に通信産業でない fact4: 「この非血縁は指弾しない」ということは成り立つ fact5: このオキシドールは裁判外だ fact6: もしもこの非血縁が自作するし加えて日和見感染症ならこのオキシドールは日和見感染症でない fact7: 仮にこのオキシドールは市街化調整区域であるということはないとすればふてぶてしいけど裁判外でない fact8: 仮にふてぶてしい物は裁判外でないならそれは得点王であるということはない fact9: 「この中間利息は成功し易いが主要チャクラでない」ということは間違いだ fact10: 「このオキシドールは指弾するけれど成功し易いということはない」ということは成り立つということはない fact11: このオキシドールは揃える fact12: 「このオキシドールは成功し易い一方で認識しない」ということは誤りだ fact13: 「このオキシドールは裁判外である」ということは正しいとしたら「それは成功し易くないし認識するということはない」ということは成り立たない fact14: 地中深いものは十二誘導でないならば相互直通する fact15: もし「ある物は十二章であるがしかし席でない」ということは事実と異なるならそれは自作する fact16: この非血縁がボスコニーでないとすればそれは地中深いが十二誘導でない fact17: この非血縁が相互直通するならそれは日和見感染症だ fact18: 仮にこのオキシドールは裁判外であるなら「それは成功し易くないがしかし認識する」ということは正しくない fact19: この翼屋は認識しない fact20: 仮にこのオキシドールは得点王でないならば「それは成功し易くないしまたそれは認識するということはない」ということは成り立つ ; $hypothesis$ = このオキシドールは得点王でない ; $proof$ = 
void -> assump1: 以下のように仮定する。このオキシドールは得点王でない; fact20 & assump1 -> int1: このオキシドールは成功し易くないし認識しない; fact13 & fact5 -> int2: 「このオキシドールは成功し易くないし更に認識しない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 何かは指弾しないとすると「十二章であるけれど席でない」ということは嘘である
事実2: このオキシドールは不足し易くないし苦々しかない
事実3: 仮にとあるものは日和見感染症でないとしたらそれは市街化調整区域でなくて更に通信産業でない
事実4: 「この非血縁は指弾しない」ということは成り立つ
事実5: このオキシドールは裁判外だ
事実6: もしもこの非血縁が自作するし加えて日和見感染症ならこのオキシドールは日和見感染症でない
事実7: 仮にこのオキシドールは市街化調整区域であるということはないとすればふてぶてしいけど裁判外でない
事実8: 仮にふてぶてしい物は裁判外でないならそれは得点王であるということはない
事実9: 「この中間利息は成功し易いが主要チャクラでない」ということは間違いだ
事実10: 「このオキシドールは指弾するけれど成功し易いということはない」ということは成り立つということはない
事実11: このオキシドールは揃える
事実12: 「このオキシドールは成功し易い一方で認識しない」ということは誤りだ
事実13: 「このオキシドールは裁判外である」ということは正しいとしたら「それは成功し易くないし認識するということはない」ということは成り立たない
事実14: 地中深いものは十二誘導でないならば相互直通する
事実15: もし「ある物は十二章であるがしかし席でない」ということは事実と異なるならそれは自作する
事実16: この非血縁がボスコニーでないとすればそれは地中深いが十二誘導でない
事実17: この非血縁が相互直通するならそれは日和見感染症だ
事実18: 仮にこのオキシドールは裁判外であるなら「それは成功し易くないがしかし認識する」ということは正しくない
事実19: この翼屋は認識しない
事実20: 仮にこのオキシドールは得点王でないならば「それは成功し易くないしまたそれは認識するということはない」ということは成り立つ

仮説: このオキシドールは得点王でない
1. 仮定1: 以下のように仮定する。このオキシドールは得点王でない
2. 事実20と仮定1から、推論1: "このオキシドールは成功し易くないし認識しない"が導かれる
3. 事実13と事実5から、推論2: "「このオキシドールは成功し易くないし更に認識しない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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