「「ぽっと出で刷り込む」物はある」ということは成り立たない
fact1: 仮にあの妊娠週数が浅黒くないならそれはぽっと出で刷り込まない fact2: 「「親しみ易くないが六千二百万人だ」ということは誤っている」ものはある fact3: 「何らかのものは拳闘だしまた融資する」ということは成り立つということはないならば浅黒いということはない fact4: もし「「親しみ易くないがしかし六千二百万人である」ということは成り立つということはない」ものがあるとすればあの入院時食事療養費はぽっと出である fact5: あの例外無しは分離し易い fact6: この入院時食事療養費は刷り込むし浅黒い
fact2 & fact4 -> int1: この入院時食事療養費はぽっと出だ; fact6 -> int2: 「この入院時食事療養費は刷り込む」ということは真実である; int1 & int2 -> int3: この入院時食事療養費がぽっと出だししかも刷り込む; int3 -> hypothesis;
fact2 & fact4 -> int1: {A}{a}; fact6 -> int2: {B}{a}; int1 & int2 -> int3: ({A}{a} & {B}{a}); int3 -> hypothesis;
あの妊娠週数はぽっと出である
fact7 -> int4: 「あの妊娠週数は拳闘でおまけにそれは融資する」ということは誤っているとするとそれは浅黒いということはない;
$facts$ = fact1: 仮にあの妊娠週数が浅黒くないならそれはぽっと出で刷り込まない fact2: 「「親しみ易くないが六千二百万人だ」ということは誤っている」ものはある fact3: 「何らかのものは拳闘だしまた融資する」ということは成り立つということはないならば浅黒いということはない fact4: もし「「親しみ易くないがしかし六千二百万人である」ということは成り立つということはない」ものがあるとすればあの入院時食事療養費はぽっと出である fact5: あの例外無しは分離し易い fact6: この入院時食事療養費は刷り込むし浅黒い ; $hypothesis$ = 「「ぽっと出で刷り込む」物はある」ということは成り立たない ; $proof$ = 
fact2 & fact4 -> int1: この入院時食事療養費はぽっと出だ; fact6 -> int2: 「この入院時食事療養費は刷り込む」ということは真実である; int1 & int2 -> int3: この入院時食事療養費がぽっと出だししかも刷り込む; int3 -> hypothesis; __DISPROVED__
事実1: 仮にあの妊娠週数が浅黒くないならそれはぽっと出で刷り込まない
事実2: 「「親しみ易くないが六千二百万人だ」ということは誤っている」ものはある
事実3: 「何らかのものは拳闘だしまた融資する」ということは成り立つということはないならば浅黒いということはない
事実4: もし「「親しみ易くないがしかし六千二百万人である」ということは成り立つということはない」ものがあるとすればあの入院時食事療養費はぽっと出である
事実5: あの例外無しは分離し易い
事実6: この入院時食事療養費は刷り込むし浅黒い

仮説: 「「ぽっと出で刷り込む」物はある」ということは成り立たない
1. 事実2と事実4から、推論1: "この入院時食事療養費はぽっと出だ"が導かれる
2. 事実6から、推論2: "「この入院時食事療養費は刷り込む」ということは真実である"が導かれる
3. 推論1と推論2から、推論3: "この入院時食事療養費がぽっと出だししかも刷り込む"が導かれる
4. 推論3から、仮説が否定される

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