「もし仮に「この新肺動脈基部は手堅いけどポーンでない」ということは誤りだとするとあの木リストはアウトプットしない」ということは間違っている
fact1: 「この新肺動脈基部は手堅くてポーンである」ということは間違いであるとすると先鋭化しない fact2: もしあの木リストが先鋭化するとしたらアウトプットしない fact3: もしも「この新肺動脈基部は萌芽するし先鋭化する」ということは嘘ならばあの木リストはポーンでない fact4: もし手堅いものが萌芽するということはないとすればそれは先鋭化するということはない fact5: もし仮にあの木リストが手堅いけどアウトプットしないとしたらこの新肺動脈基部は萌芽しない fact6: 仮にある物は萌芽するけれどアウトプットしないとすれば「「先鋭化する」ということは偽だ」ということは本当だ fact7: もし仮に「なにかは手堅い一方でポーンでない」ということは成り立たないとすればそれは先鋭化しない fact8: 仮に「あの木リストは先鋭化しないがしかしそれは萌芽する」ということは成り立たないならばそれはアウトプットしない fact9: もしこの新肺動脈基部は先鋭化しないなら「あの木リストは先鋭化しないがそれは萌芽する」ということは間違いである fact10: もし「この新肺動脈基部は手堅い」ということは間違いであるとしたら先鋭化しない fact11: 「この新肺動脈基部は手堅いしアウトプットする」ということは事実でないとしたらあの木リストはポーンであるということはない fact12: 「何かはアウトプットするしさらに萌芽する」ということは真実でないとしたら先鋭化しない
fact7 -> int1: もしも「この新肺動脈基部は手堅い一方でポーンでない」ということは間違っているならそれは先鋭化しない; void -> assump1: 以下のように仮定する。「この新肺動脈基部は手堅いがポーンでない」ということは間違っている; int1 & assump1 -> int2: この新肺動脈基部は先鋭化しない; int2 & fact9 -> int3: 「あの木リストは先鋭化するということはないけれど萌芽する」ということは確かでない; int3 & fact8 -> int4: あの木リストはアウトプットするということはない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「この新肺動脈基部は手堅くてポーンである」ということは間違いであるとすると先鋭化しない fact2: もしあの木リストが先鋭化するとしたらアウトプットしない fact3: もしも「この新肺動脈基部は萌芽するし先鋭化する」ということは嘘ならばあの木リストはポーンでない fact4: もし手堅いものが萌芽するということはないとすればそれは先鋭化するということはない fact5: もし仮にあの木リストが手堅いけどアウトプットしないとしたらこの新肺動脈基部は萌芽しない fact6: 仮にある物は萌芽するけれどアウトプットしないとすれば「「先鋭化する」ということは偽だ」ということは本当だ fact7: もし仮に「なにかは手堅い一方でポーンでない」ということは成り立たないとすればそれは先鋭化しない fact8: 仮に「あの木リストは先鋭化しないがしかしそれは萌芽する」ということは成り立たないならばそれはアウトプットしない fact9: もしこの新肺動脈基部は先鋭化しないなら「あの木リストは先鋭化しないがそれは萌芽する」ということは間違いである fact10: もし「この新肺動脈基部は手堅い」ということは間違いであるとしたら先鋭化しない fact11: 「この新肺動脈基部は手堅いしアウトプットする」ということは事実でないとしたらあの木リストはポーンであるということはない fact12: 「何かはアウトプットするしさらに萌芽する」ということは真実でないとしたら先鋭化しない ; $hypothesis$ = 「もし仮に「この新肺動脈基部は手堅いけどポーンでない」ということは誤りだとするとあの木リストはアウトプットしない」ということは間違っている ; $proof$ = 
fact7 -> int1: もしも「この新肺動脈基部は手堅い一方でポーンでない」ということは間違っているならそれは先鋭化しない; void -> assump1: 以下のように仮定する。「この新肺動脈基部は手堅いがポーンでない」ということは間違っている; int1 & assump1 -> int2: この新肺動脈基部は先鋭化しない; int2 & fact9 -> int3: 「あの木リストは先鋭化するということはないけれど萌芽する」ということは確かでない; int3 & fact8 -> int4: あの木リストはアウトプットするということはない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 「この新肺動脈基部は手堅くてポーンである」ということは間違いであるとすると先鋭化しない
事実2: もしあの木リストが先鋭化するとしたらアウトプットしない
事実3: もしも「この新肺動脈基部は萌芽するし先鋭化する」ということは嘘ならばあの木リストはポーンでない
事実4: もし手堅いものが萌芽するということはないとすればそれは先鋭化するということはない
事実5: もし仮にあの木リストが手堅いけどアウトプットしないとしたらこの新肺動脈基部は萌芽しない
事実6: 仮にある物は萌芽するけれどアウトプットしないとすれば「「先鋭化する」ということは偽だ」ということは本当だ
事実7: もし仮に「なにかは手堅い一方でポーンでない」ということは成り立たないとすればそれは先鋭化しない
事実8: 仮に「あの木リストは先鋭化しないがしかしそれは萌芽する」ということは成り立たないならばそれはアウトプットしない
事実9: もしこの新肺動脈基部は先鋭化しないなら「あの木リストは先鋭化しないがそれは萌芽する」ということは間違いである
事実10: もし「この新肺動脈基部は手堅い」ということは間違いであるとしたら先鋭化しない
事実11: 「この新肺動脈基部は手堅いしアウトプットする」ということは事実でないとしたらあの木リストはポーンであるということはない
事実12: 「何かはアウトプットするしさらに萌芽する」ということは真実でないとしたら先鋭化しない

仮説: 「もし仮に「この新肺動脈基部は手堅いけどポーンでない」ということは誤りだとするとあの木リストはアウトプットしない」ということは間違っている
1. 事実7から、推論1: "もしも「この新肺動脈基部は手堅い一方でポーンでない」ということは間違っているならそれは先鋭化しない"が導かれる
2. 仮定1: 以下のように仮定する。「この新肺動脈基部は手堅いがポーンでない」ということは間違っている
3. 推論1と仮定1から、推論2: "この新肺動脈基部は先鋭化しない"が導かれる
4. 推論2と事実9から、推論3: "「あの木リストは先鋭化するということはないけれど萌芽する」ということは確かでない"が導かれる
5. 推論3と事実8から、推論4: "あの木リストはアウトプットするということはない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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