「この産科医は自己保存だけど辛抱強くない」ということは成り立たない
fact1: 「仮に「その若布は荷重しない一方でそれは追跡する」ということは誤りであるなら「この産科医は荷重しない」ということは間違いだ」ということは成り立つ fact2: もしもその個人大株主支配が追跡するということはないがしかし荷重するならその若布は荷重しない fact3: その若布は辛抱強いけど荷重しない fact4: 「その若布は荷重しないがしかしそれは追跡する」ということは誤りである fact5: 甚だしい物は作業オーダーでないけど図り難い fact6: もし仮にあの成体脊髄由来がシナゴクであるということはないとしたらその根処理は言い易いということはない fact7: もしとある物が作業オーダーでないならそれは追跡しないしおまけに荷重する fact8: もしもその根処理が言い易くないとすればその個人大株主支配は甚だしい fact9: もし何かは荷重するなら「それは自己保存であるが辛抱強くない」ということは成り立つ
fact9 -> int1: もしもこの産科医は荷重すれば「それは自己保存だけれど辛抱強くない」ということは事実である; fact1 & fact4 -> int2: この産科医は荷重する; int1 & int2 -> hypothesis;
fact9 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); fact1 & fact4 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
「この産科医は自己保存であるが辛抱強くない」ということは誤りである
fact12 -> int3: その個人大株主支配は作業オーダーでないとしたら追跡しないが荷重する; fact10 -> int4: その個人大株主支配が甚だしいとすればそれは作業オーダーでないけれど図り難い;
$facts$ = fact1: 「仮に「その若布は荷重しない一方でそれは追跡する」ということは誤りであるなら「この産科医は荷重しない」ということは間違いだ」ということは成り立つ fact2: もしもその個人大株主支配が追跡するということはないがしかし荷重するならその若布は荷重しない fact3: その若布は辛抱強いけど荷重しない fact4: 「その若布は荷重しないがしかしそれは追跡する」ということは誤りである fact5: 甚だしい物は作業オーダーでないけど図り難い fact6: もし仮にあの成体脊髄由来がシナゴクであるということはないとしたらその根処理は言い易いということはない fact7: もしとある物が作業オーダーでないならそれは追跡しないしおまけに荷重する fact8: もしもその根処理が言い易くないとすればその個人大株主支配は甚だしい fact9: もし何かは荷重するなら「それは自己保存であるが辛抱強くない」ということは成り立つ ; $hypothesis$ = 「この産科医は自己保存だけど辛抱強くない」ということは成り立たない ; $proof$ = 
fact9 -> int1: もしもこの産科医は荷重すれば「それは自己保存だけれど辛抱強くない」ということは事実である; fact1 & fact4 -> int2: この産科医は荷重する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「仮に「その若布は荷重しない一方でそれは追跡する」ということは誤りであるなら「この産科医は荷重しない」ということは間違いだ」ということは成り立つ
事実2: もしもその個人大株主支配が追跡するということはないがしかし荷重するならその若布は荷重しない
事実3: その若布は辛抱強いけど荷重しない
事実4: 「その若布は荷重しないがしかしそれは追跡する」ということは誤りである
事実5: 甚だしい物は作業オーダーでないけど図り難い
事実6: もし仮にあの成体脊髄由来がシナゴクであるということはないとしたらその根処理は言い易いということはない
事実7: もしとある物が作業オーダーでないならそれは追跡しないしおまけに荷重する
事実8: もしもその根処理が言い易くないとすればその個人大株主支配は甚だしい
事実9: もし何かは荷重するなら「それは自己保存であるが辛抱強くない」ということは成り立つ

仮説: 「この産科医は自己保存だけど辛抱強くない」ということは成り立たない
1. 事実9から、推論1: "もしもこの産科医は荷重すれば「それは自己保存だけれど辛抱強くない」ということは事実である"が導かれる
2. 事実1と事実4から、推論2: "この産科医は荷重する"が導かれる
3. 推論1と推論2から、仮説が否定される

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