その道徳は右片麻痺である
fact1: 「「寄さないかもしくは右片麻痺だ」ということは成り立たない」ものはある fact2: 「この別室はδ関数だということはないか不況であるかどちらもである」ということは誤っている fact3: もし仮に「何かは三十万人都市機能だがしかし右片麻痺でない」ということは成り立たないとしたらそれは右片麻痺である fact4: もし仮に「「δ関数でないかあるいは不況であるかもしくはどちらもだ」ということは成り立たない」物があるならあの五．一ＣＨスピーカーは姦しくない fact5: もしあの五．一ＣＨスピーカーがリーチするか寄すかまたは両方であるならその道徳は右片麻痺でない fact6: あの五．一ＣＨスピーカーは三十万人都市機能である fact7: その道徳は三十万人都市機能だ fact8: あの五．一ＣＨスピーカーは三十万人都市機能だけれど姦しくないとすれば「リーチする」ということは成り立つ
fact2 -> int1: 「「δ関数でないかもしくは不況であるかもしくは両方ともだ」ということは事実と異なる」物はある; int1 & fact4 -> int2: あの五．一ＣＨスピーカーは姦しくない; int2 & fact6 -> int3: あの五．一ＣＨスピーカーは三十万人都市機能だがしかし姦しくない; int3 & fact8 -> int4: あの五．一ＣＨスピーカーはリーチする; int4 -> int5: あの五．一ＣＨスピーカーはリーチするかあるいはそれは寄す; int5 & fact5 -> hypothesis;
その道徳は右片麻痺だ
fact9 -> int6: もしも「その道徳は三十万人都市機能だが右片麻痺でない」ということは誤りであるとすれば「それは右片麻痺だ」ということは事実である;
$facts$ = fact1: 「「寄さないかもしくは右片麻痺だ」ということは成り立たない」ものはある fact2: 「この別室はδ関数だということはないか不況であるかどちらもである」ということは誤っている fact3: もし仮に「何かは三十万人都市機能だがしかし右片麻痺でない」ということは成り立たないとしたらそれは右片麻痺である fact4: もし仮に「「δ関数でないかあるいは不況であるかもしくはどちらもだ」ということは成り立たない」物があるならあの五．一ＣＨスピーカーは姦しくない fact5: もしあの五．一ＣＨスピーカーがリーチするか寄すかまたは両方であるならその道徳は右片麻痺でない fact6: あの五．一ＣＨスピーカーは三十万人都市機能である fact7: その道徳は三十万人都市機能だ fact8: あの五．一ＣＨスピーカーは三十万人都市機能だけれど姦しくないとすれば「リーチする」ということは成り立つ ; $hypothesis$ = その道徳は右片麻痺である ; $proof$ = 
fact2 -> int1: 「「δ関数でないかもしくは不況であるかもしくは両方ともだ」ということは事実と異なる」物はある; int1 & fact4 -> int2: あの五．一ＣＨスピーカーは姦しくない; int2 & fact6 -> int3: あの五．一ＣＨスピーカーは三十万人都市機能だがしかし姦しくない; int3 & fact8 -> int4: あの五．一ＣＨスピーカーはリーチする; int4 -> int5: あの五．一ＣＨスピーカーはリーチするかあるいはそれは寄す; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: 「「寄さないかもしくは右片麻痺だ」ということは成り立たない」ものはある
事実2: 「この別室はδ関数だということはないか不況であるかどちらもである」ということは誤っている
事実3: もし仮に「何かは三十万人都市機能だがしかし右片麻痺でない」ということは成り立たないとしたらそれは右片麻痺である
事実4: もし仮に「「δ関数でないかあるいは不況であるかもしくはどちらもだ」ということは成り立たない」物があるならあの五．一ＣＨスピーカーは姦しくない
事実5: もしあの五．一ＣＨスピーカーがリーチするか寄すかまたは両方であるならその道徳は右片麻痺でない
事実6: あの五．一ＣＨスピーカーは三十万人都市機能である
事実7: その道徳は三十万人都市機能だ
事実8: あの五．一ＣＨスピーカーは三十万人都市機能だけれど姦しくないとすれば「リーチする」ということは成り立つ

仮説: その道徳は右片麻痺である
1. 事実2から、推論1: "「「δ関数でないかもしくは不況であるかもしくは両方ともだ」ということは事実と異なる」物はある"が導かれる
2. 推論1と事実4から、推論2: "あの五．一ＣＨスピーカーは姦しくない"が導かれる
3. 推論2と事実6から、推論3: "あの五．一ＣＨスピーカーは三十万人都市機能だがしかし姦しくない"が導かれる
4. 推論3と事実8から、推論4: "あの五．一ＣＨスピーカーはリーチする"が導かれる
5. 推論4から、推論5: "あの五．一ＣＨスピーカーはリーチするかあるいはそれは寄す"が導かれる
6. 推論5と事実5から、仮説が否定される

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