「このローマ市民権取得は御寒いがしかしそれは拒み続けない」ということは嘘だ
fact1: もし仮にとある物は細胞間だとしたら「御寒いが拒み続けるということはない」ということは間違いだ fact2: 「この自弁は管理し易いがしかし総選挙でない」ということは偽である fact3: もしもこの自弁が管理し易くないけれど総選挙であるならばこのタロットは細胞間でない fact4: もし仮にこのタロットが間違え易いということはないけど間近いとしたらそのスラブは儚しない fact5: 仮に「この自弁は管理し易くないし加えて総選挙であるということはない」ということは成り立つということはないとすればその工業化段階は財産処分でない fact6: この自弁は管理し易いけど総選挙でないなら「このタロットは細胞間でない」ということは成り立つ fact7: このローマ市民権取得は御寒い fact8: もし仮にこの自弁が管理し易くないしかつそれが総選挙でないとしたらこのタロットは細胞間でない fact9: 「そのスラブは間違え易くない」ということは本当である fact10: もしとあるものが読者諸兄だということはないとすればその工業化段階は財産処分である fact11: このタロットが細胞間でないとすればそれは間違え易くない fact12: そのスラブが儚しないとするとこのローマ市民権取得は御寒い一方で拒み続けない fact13: このタロットは間近い fact14: そのスラブは御寒くない fact15: 「「間違え易いということはなくて間近いということはない」ということは誤っている」ものはある fact16: 「「財産処分だということはないが読者諸兄である」ということは成り立たない」物はある fact17: 「「財産処分であるし読者諸兄である」ということは成り立たない」ものはある fact18: 「この自弁は管理し易くないけれど総選挙である」ということは嘘である fact19: もし仮にそのスラブが細胞間でないならばあのタロットは間違え易いけど儚しない fact20: そのスラブが儚しないならこのローマ市民権取得は御寒い fact21: もし仮に「「財産処分でなくて加えて読者諸兄だ」ということは偽である」物があるとするとその工業化段階は財産処分である fact22: なにかは財産処分であるということはない一方で読者諸兄である
void -> assump1: 以下のように仮定する。「この自弁は管理し易くないしおまけに総選挙でない」ということは誤りである; fact5 & assump1 -> int1: その工業化段階は財産処分でない; fact21 & fact16 -> int2: その工業化段階は財産処分だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この自弁は管理し易くないしまた総選挙であるということはない; int4 & fact8 -> int5: このタロットは細胞間でない; int5 & fact11 -> int6: このタロットは間違え易くない; int6 & fact13 -> int7: 「このタロットは間違え易くないが間近い」ということは確かである; int7 & fact4 -> int8: そのスラブは儚しない; int8 & fact12 -> hypothesis;
「このローマ市民権取得は御寒いけど拒み続けない」ということは成り立たない
fact24 -> int9: このローマ市民権取得は細胞間であるとすると「御寒いけど拒み続けない」ということは成り立たない;
$facts$ = fact1: もし仮にとある物は細胞間だとしたら「御寒いが拒み続けるということはない」ということは間違いだ fact2: 「この自弁は管理し易いがしかし総選挙でない」ということは偽である fact3: もしもこの自弁が管理し易くないけれど総選挙であるならばこのタロットは細胞間でない fact4: もし仮にこのタロットが間違え易いということはないけど間近いとしたらそのスラブは儚しない fact5: 仮に「この自弁は管理し易くないし加えて総選挙であるということはない」ということは成り立つということはないとすればその工業化段階は財産処分でない fact6: この自弁は管理し易いけど総選挙でないなら「このタロットは細胞間でない」ということは成り立つ fact7: このローマ市民権取得は御寒い fact8: もし仮にこの自弁が管理し易くないしかつそれが総選挙でないとしたらこのタロットは細胞間でない fact9: 「そのスラブは間違え易くない」ということは本当である fact10: もしとあるものが読者諸兄だということはないとすればその工業化段階は財産処分である fact11: このタロットが細胞間でないとすればそれは間違え易くない fact12: そのスラブが儚しないとするとこのローマ市民権取得は御寒い一方で拒み続けない fact13: このタロットは間近い fact14: そのスラブは御寒くない fact15: 「「間違え易いということはなくて間近いということはない」ということは誤っている」ものはある fact16: 「「財産処分だということはないが読者諸兄である」ということは成り立たない」物はある fact17: 「「財産処分であるし読者諸兄である」ということは成り立たない」ものはある fact18: 「この自弁は管理し易くないけれど総選挙である」ということは嘘である fact19: もし仮にそのスラブが細胞間でないならばあのタロットは間違え易いけど儚しない fact20: そのスラブが儚しないならこのローマ市民権取得は御寒い fact21: もし仮に「「財産処分でなくて加えて読者諸兄だ」ということは偽である」物があるとするとその工業化段階は財産処分である fact22: なにかは財産処分であるということはない一方で読者諸兄である ; $hypothesis$ = 「このローマ市民権取得は御寒いがしかしそれは拒み続けない」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この自弁は管理し易くないしおまけに総選挙でない」ということは誤りである; fact5 & assump1 -> int1: その工業化段階は財産処分でない; fact21 & fact16 -> int2: その工業化段階は財産処分だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この自弁は管理し易くないしまた総選挙であるということはない; int4 & fact8 -> int5: このタロットは細胞間でない; int5 & fact11 -> int6: このタロットは間違え易くない; int6 & fact13 -> int7: 「このタロットは間違え易くないが間近い」ということは確かである; int7 & fact4 -> int8: そのスラブは儚しない; int8 & fact12 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物は細胞間だとしたら「御寒いが拒み続けるということはない」ということは間違いだ
事実2: 「この自弁は管理し易いがしかし総選挙でない」ということは偽である
事実3: もしもこの自弁が管理し易くないけれど総選挙であるならばこのタロットは細胞間でない
事実4: もし仮にこのタロットが間違え易いということはないけど間近いとしたらそのスラブは儚しない
事実5: 仮に「この自弁は管理し易くないし加えて総選挙であるということはない」ということは成り立つということはないとすればその工業化段階は財産処分でない
事実6: この自弁は管理し易いけど総選挙でないなら「このタロットは細胞間でない」ということは成り立つ
事実7: このローマ市民権取得は御寒い
事実8: もし仮にこの自弁が管理し易くないしかつそれが総選挙でないとしたらこのタロットは細胞間でない
事実9: 「そのスラブは間違え易くない」ということは本当である
事実10: もしとあるものが読者諸兄だということはないとすればその工業化段階は財産処分である
事実11: このタロットが細胞間でないとすればそれは間違え易くない
事実12: そのスラブが儚しないとするとこのローマ市民権取得は御寒い一方で拒み続けない
事実13: このタロットは間近い
事実14: そのスラブは御寒くない
事実15: 「「間違え易いということはなくて間近いということはない」ということは誤っている」ものはある
事実16: 「「財産処分だということはないが読者諸兄である」ということは成り立たない」物はある
事実17: 「「財産処分であるし読者諸兄である」ということは成り立たない」ものはある
事実18: 「この自弁は管理し易くないけれど総選挙である」ということは嘘である
事実19: もし仮にそのスラブが細胞間でないならばあのタロットは間違え易いけど儚しない
事実20: そのスラブが儚しないならこのローマ市民権取得は御寒い
事実21: もし仮に「「財産処分でなくて加えて読者諸兄だ」ということは偽である」物があるとするとその工業化段階は財産処分である
事実22: なにかは財産処分であるということはない一方で読者諸兄である

仮説: 「このローマ市民権取得は御寒いがしかしそれは拒み続けない」ということは嘘だ
1. 仮定1: 以下のように仮定する。「この自弁は管理し易くないしおまけに総選挙でない」ということは誤りである
2. 事実5と仮定1から、推論1: "その工業化段階は財産処分でない"が導かれる
3. 事実21と事実16から、推論2: "その工業化段階は財産処分だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この自弁は管理し易くないしまた総選挙であるということはない"が導かれる
6. 推論4と事実8から、推論5: "このタロットは細胞間でない"が導かれる
7. 推論5と事実11から、推論6: "このタロットは間違え易くない"が導かれる
8. 推論6と事実13から、推論7: "「このタロットは間違え易くないが間近い」ということは確かである"が導かれる
9. 推論7と事実4から、推論8: "そのスラブは儚しない"が導かれる
10. 推論8と事実12から、仮説が否定される

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