「その大木は元玉であるかあるいは知らせ合うかもしくは両方だ」ということは嘘だ
fact1: 「もし仮にその業が掘り進まなくてオキシミオグロビンであるということはないとしたらその大木は掘り進まない」ということは成り立つ fact2: 「その業は禍々しい」ということは事実である fact3: もしもあの立役が知らせ合うとしたらテレビ・ラジオだ fact4: その業が走り抜くならばあの負担割合はオキシミオグロビンだ fact5: 「この負担割合は知らせ合うかあるいは禍々しいかまたは両方である」ということは成り立つ fact6: その大木は走り抜かないがしかし初診患者だ fact7: その業は知らせ合う fact8: その大木は示唆出来る fact9: もしもその業が初診患者だとしたら掘り進む fact10: その業は初診患者でない fact11: その業が掘り進まないならそれは走り抜く fact12: その大木は罅割れない fact13: 「ある物は掘り進む」ということは誤っているということはないとしたらオキシミオグロビンだ fact14: もしこの負担割合が知らせ合うとしたらその大木は禍々しい fact15: 「その業は掘り進まない」ということは成り立つ fact16: あの多寡は掘り進む fact17: もしこの負担割合はオキシミオグロビンなら「禍々しい」ということは成り立つ fact18: もしもこの負担割合が禍々しいとするとその大木は禍々しかないけれど初診患者である fact19: もしその大木が禍々しかない一方でそれは初診患者だとすると「元玉だ」ということは確かだ fact20: もし仮にその業は知らせ合うとしたら「それは初診患者であるけど元玉だということはない」ということは成り立たない
fact11 & fact15 -> int1: その業は走り抜く; int1 & fact4 -> int2: この負担割合はオキシミオグロビンである; int2 & fact17 -> int3: この負担割合は禍々しい; int3 & fact18 -> int4: その大木は禍々しいということはないが初診患者だ; int4 & fact19 -> int5: その大木は元玉だ; int5 -> hypothesis;
その課題達成はオキシミオグロビンだ
fact23 -> int6: もし仮にその課題達成が掘り進むとしたらオキシミオグロビンである; fact21 & fact22 -> int7: 「「その業は初診患者である一方で元玉でない」ということは間違いだ」ということは確かである; int7 -> int8: 「「初診患者でおまけに元玉でない」ということは誤りである」物はある;
$facts$ = fact1: 「もし仮にその業が掘り進まなくてオキシミオグロビンであるということはないとしたらその大木は掘り進まない」ということは成り立つ fact2: 「その業は禍々しい」ということは事実である fact3: もしもあの立役が知らせ合うとしたらテレビ・ラジオだ fact4: その業が走り抜くならばあの負担割合はオキシミオグロビンだ fact5: 「この負担割合は知らせ合うかあるいは禍々しいかまたは両方である」ということは成り立つ fact6: その大木は走り抜かないがしかし初診患者だ fact7: その業は知らせ合う fact8: その大木は示唆出来る fact9: もしもその業が初診患者だとしたら掘り進む fact10: その業は初診患者でない fact11: その業が掘り進まないならそれは走り抜く fact12: その大木は罅割れない fact13: 「ある物は掘り進む」ということは誤っているということはないとしたらオキシミオグロビンだ fact14: もしこの負担割合が知らせ合うとしたらその大木は禍々しい fact15: 「その業は掘り進まない」ということは成り立つ fact16: あの多寡は掘り進む fact17: もしこの負担割合はオキシミオグロビンなら「禍々しい」ということは成り立つ fact18: もしもこの負担割合が禍々しいとするとその大木は禍々しかないけれど初診患者である fact19: もしその大木が禍々しかない一方でそれは初診患者だとすると「元玉だ」ということは確かだ fact20: もし仮にその業は知らせ合うとしたら「それは初診患者であるけど元玉だということはない」ということは成り立たない ; $hypothesis$ = 「その大木は元玉であるかあるいは知らせ合うかもしくは両方だ」ということは嘘だ ; $proof$ = 
fact11 & fact15 -> int1: その業は走り抜く; int1 & fact4 -> int2: この負担割合はオキシミオグロビンである; int2 & fact17 -> int3: この負担割合は禍々しい; int3 & fact18 -> int4: その大木は禍々しいということはないが初診患者だ; int4 & fact19 -> int5: その大木は元玉だ; int5 -> hypothesis; __DISPROVED__
事実1: 「もし仮にその業が掘り進まなくてオキシミオグロビンであるということはないとしたらその大木は掘り進まない」ということは成り立つ
事実2: 「その業は禍々しい」ということは事実である
事実3: もしもあの立役が知らせ合うとしたらテレビ・ラジオだ
事実4: その業が走り抜くならばあの負担割合はオキシミオグロビンだ
事実5: 「この負担割合は知らせ合うかあるいは禍々しいかまたは両方である」ということは成り立つ
事実6: その大木は走り抜かないがしかし初診患者だ
事実7: その業は知らせ合う
事実8: その大木は示唆出来る
事実9: もしもその業が初診患者だとしたら掘り進む
事実10: その業は初診患者でない
事実11: その業が掘り進まないならそれは走り抜く
事実12: その大木は罅割れない
事実13: 「ある物は掘り進む」ということは誤っているということはないとしたらオキシミオグロビンだ
事実14: もしこの負担割合が知らせ合うとしたらその大木は禍々しい
事実15: 「その業は掘り進まない」ということは成り立つ
事実16: あの多寡は掘り進む
事実17: もしこの負担割合はオキシミオグロビンなら「禍々しい」ということは成り立つ
事実18: もしもこの負担割合が禍々しいとするとその大木は禍々しかないけれど初診患者である
事実19: もしその大木が禍々しかない一方でそれは初診患者だとすると「元玉だ」ということは確かだ
事実20: もし仮にその業は知らせ合うとしたら「それは初診患者であるけど元玉だということはない」ということは成り立たない

仮説: 「その大木は元玉であるかあるいは知らせ合うかもしくは両方だ」ということは嘘だ
1. 事実11と事実15から、推論1: "その業は走り抜く"が導かれる
2. 推論1と事実4から、推論2: "この負担割合はオキシミオグロビンである"が導かれる
3. 推論2と事実17から、推論3: "この負担割合は禍々しい"が導かれる
4. 推論3と事実18から、推論4: "その大木は禍々しいということはないが初診患者だ"が導かれる
5. 推論4と事実19から、推論5: "その大木は元玉だ"が導かれる
6. 推論5から、仮説が否定される

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