「「あのボーカルが特殊化するとするとあのボーカルは反応しない」ということは真実である」ということは嘘だ
fact1: あのボーカルは反応するかもしくはルール・ガイドラインであるということはない fact2: その鎌倉末期は振り回す fact3: あのボーカルは振り回すかもしくはそれは大面積であるかあるいは両方ともだ fact4: 「なにがしかのものは振り回すかもしくは大面積でないか両方ともだ」ということは嘘だとすれば反応しない fact5: もしも「このワラントは船倉であるかまたは振り回さない」ということは成り立つということはないならば諸地域でない fact6: あのボーカルは反応する fact7: 「あのボーカルは病床規制であるかあるいは諸地域でない」ということは偽だ fact8: あの無線機は越え出るかあるいはそれは大面積であるかあるいは両方である fact9: あのボーカルは誇張するかまたはそれはトラコーマである fact10: もし仮にあのボーカルが振り回すかまたはそれは大面積でないとすると「特殊化するということはない」ということは真実である fact11: もし仮にあのボーカルは大面積でないとするとそれは特殊化しない fact12: もしも「あの個人再生手続きは振り回す」ということは本当だとすれば「吸息だ」ということは確かである
void -> assump1: 以下のように仮定する。あのボーカルは振り回すかもしくは大面積でないかもしくは両方ともだ; fact10 & assump1 -> int1: あのボーカルは特殊化しない; void -> assump2: 以下のように仮定する。あのボーカルは特殊化する; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのボーカルは振り回すかまたは大面積でない」ということは事実と異なる; fact4 -> int4: 「あのボーカルは振り回すか大面積でないかあるいは両方ともだ」ということは成り立たないとすればそれは反応するということはない; int3 & int4 -> int5: 「あのボーカルは反応しない」ということは本当だ; [assump2] & int5 -> hypothesis;
$facts$ = fact1: あのボーカルは反応するかもしくはルール・ガイドラインであるということはない fact2: その鎌倉末期は振り回す fact3: あのボーカルは振り回すかもしくはそれは大面積であるかあるいは両方ともだ fact4: 「なにがしかのものは振り回すかもしくは大面積でないか両方ともだ」ということは嘘だとすれば反応しない fact5: もしも「このワラントは船倉であるかまたは振り回さない」ということは成り立つということはないならば諸地域でない fact6: あのボーカルは反応する fact7: 「あのボーカルは病床規制であるかあるいは諸地域でない」ということは偽だ fact8: あの無線機は越え出るかあるいはそれは大面積であるかあるいは両方である fact9: あのボーカルは誇張するかまたはそれはトラコーマである fact10: もし仮にあのボーカルが振り回すかまたはそれは大面積でないとすると「特殊化するということはない」ということは真実である fact11: もし仮にあのボーカルは大面積でないとするとそれは特殊化しない fact12: もしも「あの個人再生手続きは振り回す」ということは本当だとすれば「吸息だ」ということは確かである ; $hypothesis$ = 「「あのボーカルが特殊化するとするとあのボーカルは反応しない」ということは真実である」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あのボーカルは振り回すかもしくは大面積でないかもしくは両方ともだ; fact10 & assump1 -> int1: あのボーカルは特殊化しない; void -> assump2: 以下のように仮定する。あのボーカルは特殊化する; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのボーカルは振り回すかまたは大面積でない」ということは事実と異なる; fact4 -> int4: 「あのボーカルは振り回すか大面積でないかあるいは両方ともだ」ということは成り立たないとすればそれは反応するということはない; int3 & int4 -> int5: 「あのボーカルは反応しない」ということは本当だ; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: あのボーカルは反応するかもしくはルール・ガイドラインであるということはない
事実2: その鎌倉末期は振り回す
事実3: あのボーカルは振り回すかもしくはそれは大面積であるかあるいは両方ともだ
事実4: 「なにがしかのものは振り回すかもしくは大面積でないか両方ともだ」ということは嘘だとすれば反応しない
事実5: もしも「このワラントは船倉であるかまたは振り回さない」ということは成り立つということはないならば諸地域でない
事実6: あのボーカルは反応する
事実7: 「あのボーカルは病床規制であるかあるいは諸地域でない」ということは偽だ
事実8: あの無線機は越え出るかあるいはそれは大面積であるかあるいは両方である
事実9: あのボーカルは誇張するかまたはそれはトラコーマである
事実10: もし仮にあのボーカルが振り回すかまたはそれは大面積でないとすると「特殊化するということはない」ということは真実である
事実11: もし仮にあのボーカルは大面積でないとするとそれは特殊化しない
事実12: もしも「あの個人再生手続きは振り回す」ということは本当だとすれば「吸息だ」ということは確かである

仮説: 「「あのボーカルが特殊化するとするとあのボーカルは反応しない」ということは真実である」ということは嘘だ
1. 仮定1: 以下のように仮定する。あのボーカルは振り回すかもしくは大面積でないかもしくは両方ともだ
2. 事実10と仮定1から、推論1: "あのボーカルは特殊化しない"が導かれる
3. 仮定2: 以下のように仮定する。あのボーカルは特殊化する
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「あのボーカルは振り回すかまたは大面積でない」ということは事実と異なる"が導かれる
6. 事実4から、推論4: "「あのボーカルは振り回すか大面積でないかあるいは両方ともだ」ということは成り立たないとすればそれは反応するということはない"が導かれる
7. 推論3と推論4から、推論5: "「あのボーカルは反応しない」ということは本当だ"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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