この一毫は準用すということはない
fact1: 乾き易くない物は屋上でない一方で大雪だ fact2: あの移転登記請求権は議する fact3: この大学自身は平たいがしかし北流するということはない fact4: もしその地域格差が美しいけれどそれが準用すらないとしたらこの一毫は北流しない fact5: もし仮に「その地域格差は美しいけれどそれは北流するということはない」ということは事実と異なるとすればこの一毫は準用す fact6: その地域格差は北流しない fact7: このクラスＣは議する fact8: もしも「その地域格差は怪しないしかつ不良債権化しない」ということは成り立たないならばたどたどしくない fact9: この一毫が北流するけど美しいということはないとするとその地域格差は準用すらない fact10: もし仮にその地域格差が美しい一方でそれが北流しないならばこのクラスＣは議しない fact11: もし仮にその地域格差は美しいししかも北流するとすれば「このクラスＣは議するということはない」ということは本当である fact12: この一毫は住民達だけれど突き放さない fact13: もしもある物は屋上でないとすると「議しないけれど痛ーい」ということは成り立つということはない fact14: もしも「その地域格差は準用すがしかしそれは美しくない」ということは嘘であるとしたらこの一毫は北流する fact15: その地域格差は上がり難いとしたら「それは高しないし売春する」ということは偽だ fact16: もし仮にその地域格差がたどたどしくないとするとそれは上がり難くておまけに小暗い fact17: もし仮に「何かは議するということはないがしかしそれは痛ーい」ということは間違いなら準用すということはない fact18: 「このクラスＣは美しいけど北流しない」ということは正しいということはないとすればその地域格差は議する fact19: 「このクラスＣは北流しない」ということは本当だ fact20: もし仮に「その地域格差は高しないけれど売春する」ということは成り立たないとしたらこの一毫は乾き易くない fact21: 「その地域格差は美しいしまた北流する」ということは間違いだ fact22: もしもその地域格差が北流すればこの一毫は準用す
void -> assump1: 以下のように仮定する。その地域格差は美しいけれど北流するということはない; fact10 & assump1 -> int1: 「このクラスＣは議しない」ということは成り立つ; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「その地域格差は美しいけど北流しない」ということは成り立つ」ということは成り立たない; int3 & fact5 -> hypothesis;
この一毫は準用すらない
fact29 -> int4: もし「この一毫は議しない一方で痛ーい」ということは間違っているならそれは準用すということはない; fact26 -> int5: もしこの一毫は屋上でないならば「それは議しないけど痛ーい」ということは成り立たない; fact24 -> int6: 仮にこの一毫は乾き易くないとしたら「屋上だということはないがしかし大雪だ」ということは確かだ;
$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: 以下のように仮定する。その地域格差は美しいけれど北流するということはない; fact10 & assump1 -> int1: 「このクラスＣは議しない」ということは成り立つ; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「その地域格差は美しいけど北流しない」ということは成り立つ」ということは成り立たない; int3 & fact5 -> 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. 事実10と仮定1から、推論1: "「このクラスＣは議しない」ということは成り立つ"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「「その地域格差は美しいけど北流しない」ということは成り立つ」ということは成り立たない"が導かれる
5. 推論3と事実5から、仮説が否定される

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