「そのジャズは欠乏するかそれは被調査企業でないか両方ともだ」ということは成り立たない
fact1: 仮に「点てるかあるいは奏するかあるいは両方である」物があるとするとそのジャズは御仕舞い為さらない fact2: 「なにがしかのものは御仕舞い為さるということはない」ということは事実であるならば被調査企業だということはない fact3: もしも何らかのものは点てるということはないとすれば「それは欠乏するかもしくは被調査企業でないかもしくは両方である」ということは成り立たない fact4: そのテレフォンセックスは点てる fact5: とある物は混入し易いかそれは低しかもしくは両方ともだ
fact4 -> int1: そのテレフォンセックスは点てるかまたはそれは奏するかどちらもである; int1 -> int2: 「点てるか奏するか両方である」ものはある; int2 & fact1 -> int3: そのジャズは御仕舞い為さるということはない; fact2 -> int4: もし仮にそのジャズが御仕舞い為さらないならそれは被調査企業でない; int3 & int4 -> int5: そのジャズは被調査企業でない; int5 -> hypothesis;
「そのジャズは欠乏するか被調査企業でないかあるいは両方ともだ」ということは間違っている
fact6 -> int6: もしそのジャズは点てないならば「それは欠乏するかもしくは被調査企業でないかどちらもだ」ということは本当でない;
$facts$ = fact1: 仮に「点てるかあるいは奏するかあるいは両方である」物があるとするとそのジャズは御仕舞い為さらない fact2: 「なにがしかのものは御仕舞い為さるということはない」ということは事実であるならば被調査企業だということはない fact3: もしも何らかのものは点てるということはないとすれば「それは欠乏するかもしくは被調査企業でないかもしくは両方である」ということは成り立たない fact4: そのテレフォンセックスは点てる fact5: とある物は混入し易いかそれは低しかもしくは両方ともだ ; $hypothesis$ = 「そのジャズは欠乏するかそれは被調査企業でないか両方ともだ」ということは成り立たない ; $proof$ = 
fact4 -> int1: そのテレフォンセックスは点てるかまたはそれは奏するかどちらもである; int1 -> int2: 「点てるか奏するか両方である」ものはある; int2 & fact1 -> int3: そのジャズは御仕舞い為さるということはない; fact2 -> int4: もし仮にそのジャズが御仕舞い為さらないならそれは被調査企業でない; int3 & int4 -> int5: そのジャズは被調査企業でない; int5 -> hypothesis; __DISPROVED__
事実1: 仮に「点てるかあるいは奏するかあるいは両方である」物があるとするとそのジャズは御仕舞い為さらない
事実2: 「なにがしかのものは御仕舞い為さるということはない」ということは事実であるならば被調査企業だということはない
事実3: もしも何らかのものは点てるということはないとすれば「それは欠乏するかもしくは被調査企業でないかもしくは両方である」ということは成り立たない
事実4: そのテレフォンセックスは点てる
事実5: とある物は混入し易いかそれは低しかもしくは両方ともだ

仮説: 「そのジャズは欠乏するかそれは被調査企業でないか両方ともだ」ということは成り立たない
1. 事実4から、推論1: "そのテレフォンセックスは点てるかまたはそれは奏するかどちらもである"が導かれる
2. 推論1から、推論2: "「点てるか奏するか両方である」ものはある"が導かれる
3. 推論2と事実1から、推論3: "そのジャズは御仕舞い為さるということはない"が導かれる
4. 事実2から、推論4: "もし仮にそのジャズが御仕舞い為さらないならそれは被調査企業でない"が導かれる
5. 推論3と推論4から、推論5: "そのジャズは被調査企業でない"が導かれる
6. 推論5から、仮説が否定される

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