「この覚醒は拝すかまたは塗布するか両方ともである」ということは間違っている
fact1: この覚醒は応用であるかあるいはそれは拝す fact2: もし何らかのものは増加割合でないとすると「「拝すか塗布する」ということは本当である」ということは間違いである fact3: この覚醒は拝すかもしくは増加割合であるかまたは両方ともだ fact4: もしもあの旋回限界性能が応用であるということはないけれど薬臭いとするとこの覚醒は塗布する fact5: あの旋回限界性能は薬臭い fact6: この覚醒は導き出すかまたは躍進する fact7: この覚醒は拝すないけど増加割合だ fact8: あの旋回限界性能は増加割合でないとすれば「薬臭い」ということは真実である fact9: 「あの旋回限界性能は増加割合でない」ということは確かである fact10: 仮にこの覚醒が増加割合でないとしたら塗布しないししかもそれは応用である fact11: もしもあの旋回限界性能が増加割合だということはないとすると応用でないしそれにそれは薬臭い fact12: 得られ難くない物は芳しいということはないけど薬臭い fact13: もしあの旋回限界性能は拝すない一方で塗布するなら「この覚醒は薬臭い」ということは成り立つ
fact11 & fact9 -> int1: あの旋回限界性能は応用だということはないがしかし薬臭い; int1 & fact4 -> int2: この覚醒は塗布する; int2 -> hypothesis;
「「この覚醒は拝すかあるいは塗布する」ということは偽でない」ということは誤りだ
fact14 -> int3: この覚醒は増加割合でないとすると「それは拝すかあるいは塗布する」ということは嘘だ;
$facts$ = fact1: この覚醒は応用であるかあるいはそれは拝す fact2: もし何らかのものは増加割合でないとすると「「拝すか塗布する」ということは本当である」ということは間違いである fact3: この覚醒は拝すかもしくは増加割合であるかまたは両方ともだ fact4: もしもあの旋回限界性能が応用であるということはないけれど薬臭いとするとこの覚醒は塗布する fact5: あの旋回限界性能は薬臭い fact6: この覚醒は導き出すかまたは躍進する fact7: この覚醒は拝すないけど増加割合だ fact8: あの旋回限界性能は増加割合でないとすれば「薬臭い」ということは真実である fact9: 「あの旋回限界性能は増加割合でない」ということは確かである fact10: 仮にこの覚醒が増加割合でないとしたら塗布しないししかもそれは応用である fact11: もしもあの旋回限界性能が増加割合だということはないとすると応用でないしそれにそれは薬臭い fact12: 得られ難くない物は芳しいということはないけど薬臭い fact13: もしあの旋回限界性能は拝すない一方で塗布するなら「この覚醒は薬臭い」ということは成り立つ ; $hypothesis$ = 「この覚醒は拝すかまたは塗布するか両方ともである」ということは間違っている ; $proof$ = 
fact11 & fact9 -> int1: あの旋回限界性能は応用だということはないがしかし薬臭い; int1 & fact4 -> int2: この覚醒は塗布する; int2 -> hypothesis; __DISPROVED__
事実1: この覚醒は応用であるかあるいはそれは拝す
事実2: もし何らかのものは増加割合でないとすると「「拝すか塗布する」ということは本当である」ということは間違いである
事実3: この覚醒は拝すかもしくは増加割合であるかまたは両方ともだ
事実4: もしもあの旋回限界性能が応用であるということはないけれど薬臭いとするとこの覚醒は塗布する
事実5: あの旋回限界性能は薬臭い
事実6: この覚醒は導き出すかまたは躍進する
事実7: この覚醒は拝すないけど増加割合だ
事実8: あの旋回限界性能は増加割合でないとすれば「薬臭い」ということは真実である
事実9: 「あの旋回限界性能は増加割合でない」ということは確かである
事実10: 仮にこの覚醒が増加割合でないとしたら塗布しないししかもそれは応用である
事実11: もしもあの旋回限界性能が増加割合だということはないとすると応用でないしそれにそれは薬臭い
事実12: 得られ難くない物は芳しいということはないけど薬臭い
事実13: もしあの旋回限界性能は拝すない一方で塗布するなら「この覚醒は薬臭い」ということは成り立つ

仮説: 「この覚醒は拝すかまたは塗布するか両方ともである」ということは間違っている
1. 事実11と事実9から、推論1: "あの旋回限界性能は応用だということはないがしかし薬臭い"が導かれる
2. 推論1と事実4から、推論2: "この覚醒は塗布する"が導かれる
3. 推論2から、仮説が否定される

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