「この緊張性気胸は最高執行長官であるかあるいは三尊でない」ということは間違っている
fact1: あの米バイオは辛抱強くないとすれば「「この緊張性気胸は最高執行長官であるかもしくはそれは三尊でない」ということは成り立つ」ということは事実と異なる fact2: もし仮にこのカラーパウダーが狙い易いとするとあの米バイオは狙い易い fact3: 「あの米バイオは貰い泣きしないかそれは商人らしくないかまたは両方である」ということは事実でない fact4: もしもあの米バイオが辛抱強くないならこの緊張性気胸は最高執行長官でない fact5: もし仮にあるものは垂直移動するしまた狙い易いなら辛抱強くない fact6: 狙い易いものは最高執行長官であるかあるいは三尊でないかあるいは両方である fact7: 仮に「あの米バイオは貰い泣きしないかあるいは商人らしいということはないかあるいは両方ともだ」ということは嘘であるとすれば垂直移動する fact8: もしもこのカラーパウダーが収集すとすればあの米バイオは狙い易い fact9: このカラーパウダーは狙い易いかもしくは収集すか両方ともである
fact7 & fact3 -> int1: あの米バイオは垂直移動する; fact9 & fact8 & fact2 -> int2: あの米バイオは狙い易い; int1 & int2 -> int3: あの米バイオは垂直移動するしそれに狙い易い; fact5 -> int4: もしもあの米バイオが垂直移動するしまた狙い易いとすると辛抱強くない; int3 & int4 -> int5: 「あの米バイオは辛抱強くない」ということは確かだ; int5 & fact1 -> hypothesis;
この緊張性気胸は最高執行長官であるかそれは三尊であるということはないかどちらもである
fact10 -> int6: もし仮に「この緊張性気胸は狙い易い」ということは本当だとするとそれは最高執行長官であるかまたはそれは三尊でない;
$facts$ = fact1: あの米バイオは辛抱強くないとすれば「「この緊張性気胸は最高執行長官であるかもしくはそれは三尊でない」ということは成り立つ」ということは事実と異なる fact2: もし仮にこのカラーパウダーが狙い易いとするとあの米バイオは狙い易い fact3: 「あの米バイオは貰い泣きしないかそれは商人らしくないかまたは両方である」ということは事実でない fact4: もしもあの米バイオが辛抱強くないならこの緊張性気胸は最高執行長官でない fact5: もし仮にあるものは垂直移動するしまた狙い易いなら辛抱強くない fact6: 狙い易いものは最高執行長官であるかあるいは三尊でないかあるいは両方である fact7: 仮に「あの米バイオは貰い泣きしないかあるいは商人らしいということはないかあるいは両方ともだ」ということは嘘であるとすれば垂直移動する fact8: もしもこのカラーパウダーが収集すとすればあの米バイオは狙い易い fact9: このカラーパウダーは狙い易いかもしくは収集すか両方ともである ; $hypothesis$ = 「この緊張性気胸は最高執行長官であるかあるいは三尊でない」ということは間違っている ; $proof$ = 
fact7 & fact3 -> int1: あの米バイオは垂直移動する; fact9 & fact8 & fact2 -> int2: あの米バイオは狙い易い; int1 & int2 -> int3: あの米バイオは垂直移動するしそれに狙い易い; fact5 -> int4: もしもあの米バイオが垂直移動するしまた狙い易いとすると辛抱強くない; int3 & int4 -> int5: 「あの米バイオは辛抱強くない」ということは確かだ; int5 & fact1 -> hypothesis; __PROVED__
事実1: あの米バイオは辛抱強くないとすれば「「この緊張性気胸は最高執行長官であるかもしくはそれは三尊でない」ということは成り立つ」ということは事実と異なる
事実2: もし仮にこのカラーパウダーが狙い易いとするとあの米バイオは狙い易い
事実3: 「あの米バイオは貰い泣きしないかそれは商人らしくないかまたは両方である」ということは事実でない
事実4: もしもあの米バイオが辛抱強くないならこの緊張性気胸は最高執行長官でない
事実5: もし仮にあるものは垂直移動するしまた狙い易いなら辛抱強くない
事実6: 狙い易いものは最高執行長官であるかあるいは三尊でないかあるいは両方である
事実7: 仮に「あの米バイオは貰い泣きしないかあるいは商人らしいということはないかあるいは両方ともだ」ということは嘘であるとすれば垂直移動する
事実8: もしもこのカラーパウダーが収集すとすればあの米バイオは狙い易い
事実9: このカラーパウダーは狙い易いかもしくは収集すか両方ともである

仮説: 「この緊張性気胸は最高執行長官であるかあるいは三尊でない」ということは間違っている
1. 事実7と事実3から、推論1: "あの米バイオは垂直移動する"が導かれる
2. 事実9と事実8と事実2から、推論2: "あの米バイオは狙い易い"が導かれる
3. 推論1と推論2から、推論3: "あの米バイオは垂直移動するしそれに狙い易い"が導かれる
4. 事実5から、推論4: "もしもあの米バイオが垂直移動するしまた狙い易いとすると辛抱強くない"が導かれる
5. 推論3と推論4から、推論5: "「あの米バイオは辛抱強くない」ということは確かだ"が導かれる
6. 推論5と事実1から、仮説が導かれる

よって、仮説が証明されました。