あの百町単位は退室しない
fact1: その二十年頃は退室する fact2: もし仮にあの百町単位が連合政府でないけど反対出来るとすればそれは岩礁帯でない fact3: 仮にその二十年頃が手酷いならばあの自流水依存は手酷くない fact4: 「その二十年頃は痙攣だ」ということは確かだ fact5: その二十年頃は飲む fact6: あの百町単位が退室しないとすると攻めである fact7: あの百町単位は手酷いということはない fact8: あのＮＰＯ活動は手酷くない fact9: その二十年頃は手酷い fact10: もし仮にあの百町単位が退室しないとしたら汚らわしくないけれど攻めだ fact11: もしもなにかは岩礁帯でないとすればそれは手酷いししかも阻害する fact12: あの自流水依存は汚らわしい fact13: もしもあの百町単位が阻害するならあの自流水依存は手酷い fact14: もし仮になにかは手酷いし更に阻害すれば退室しない fact15: この男性型は手酷い fact16: あの百町単位は汚らわしくないけど攻めだとしたら阻害する fact17: あの百町単位は攻めだ
void -> assump1: 以下のように仮定する。あの百町単位は退室しない; fact10 & assump1 -> int1: あの百町単位は汚らわしくないが攻めだ; int1 & fact16 -> int2: あの百町単位は阻害する; int2 & fact13 -> int3: あの自流水依存は手酷い; fact3 & fact9 -> int4: あの自流水依存は手酷くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの百町単位は退室しない
fact19 -> int6: 仮にあの百町単位が手酷くて更に阻害すれば退室しない; fact18 -> int7: もしもあの百町単位が岩礁帯でないならばそれは手酷くておまけにそれは阻害する;
$facts$ = fact1: その二十年頃は退室する fact2: もし仮にあの百町単位が連合政府でないけど反対出来るとすればそれは岩礁帯でない fact3: 仮にその二十年頃が手酷いならばあの自流水依存は手酷くない fact4: 「その二十年頃は痙攣だ」ということは確かだ fact5: その二十年頃は飲む fact6: あの百町単位が退室しないとすると攻めである fact7: あの百町単位は手酷いということはない fact8: あのＮＰＯ活動は手酷くない fact9: その二十年頃は手酷い fact10: もし仮にあの百町単位が退室しないとしたら汚らわしくないけれど攻めだ fact11: もしもなにかは岩礁帯でないとすればそれは手酷いししかも阻害する fact12: あの自流水依存は汚らわしい fact13: もしもあの百町単位が阻害するならあの自流水依存は手酷い fact14: もし仮になにかは手酷いし更に阻害すれば退室しない fact15: この男性型は手酷い fact16: あの百町単位は汚らわしくないけど攻めだとしたら阻害する fact17: あの百町単位は攻めだ ; $hypothesis$ = あの百町単位は退室しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの百町単位は退室しない; fact10 & assump1 -> int1: あの百町単位は汚らわしくないが攻めだ; int1 & fact16 -> int2: あの百町単位は阻害する; int2 & fact13 -> int3: あの自流水依存は手酷い; fact3 & fact9 -> int4: あの自流水依存は手酷くない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: その二十年頃は退室する
事実2: もし仮にあの百町単位が連合政府でないけど反対出来るとすればそれは岩礁帯でない
事実3: 仮にその二十年頃が手酷いならばあの自流水依存は手酷くない
事実4: 「その二十年頃は痙攣だ」ということは確かだ
事実5: その二十年頃は飲む
事実6: あの百町単位が退室しないとすると攻めである
事実7: あの百町単位は手酷いということはない
事実8: あのＮＰＯ活動は手酷くない
事実9: その二十年頃は手酷い
事実10: もし仮にあの百町単位が退室しないとしたら汚らわしくないけれど攻めだ
事実11: もしもなにかは岩礁帯でないとすればそれは手酷いししかも阻害する
事実12: あの自流水依存は汚らわしい
事実13: もしもあの百町単位が阻害するならあの自流水依存は手酷い
事実14: もし仮になにかは手酷いし更に阻害すれば退室しない
事実15: この男性型は手酷い
事実16: あの百町単位は汚らわしくないけど攻めだとしたら阻害する
事実17: あの百町単位は攻めだ

仮説: あの百町単位は退室しない
1. 仮定1: 以下のように仮定する。あの百町単位は退室しない
2. 事実10と仮定1から、推論1: "あの百町単位は汚らわしくないが攻めだ"が導かれる
3. 推論1と事実16から、推論2: "あの百町単位は阻害する"が導かれる
4. 推論2と事実13から、推論3: "あの自流水依存は手酷い"が導かれる
5. 事実3と事実9から、推論4: "あの自流水依存は手酷くない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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