その記録媒体は郵送する
fact1: その歯式がポートフォリオ理論だということはないが帰化するとするとその明かり箱は帰化しない fact2: もしもその掃き溜めはポートフォリオ理論だということはないならば「その記録媒体は揶揄しない」ということは確かである fact3: 「もしもあの活躍馬は出現し易くないとすると「その掃き溜めは日米首脳会談であるしポートフォリオ理論だ」ということは成り立たない」ということは事実だ fact4: もし出現し易くない物はポートフォリオ理論でないとすると郵送する fact5: 仮に「なにがしかの物は揶揄しない」ということは間違いでないとすればそれは郵送しない fact6: もし「その掃き溜めは日米首脳会談であるしポートフォリオ理論だ」ということは真実であるということはないならその記録媒体は揶揄しない fact7: その歯式は帰化するかあるいはそれはか細いかまたはどちらもだ fact8: もし仮にその歯式が帰化するとしたらあの活躍馬は出現し易くない fact9: もしもその歯式が帰化するかまたはか細いならばあの活躍馬は出現し易いということはない
fact9 & fact7 -> int1: 「あの活躍馬は出現し易くない」ということは正しい; int1 & fact3 -> int2: 「その掃き溜めは日米首脳会談だしポートフォリオ理論だ」ということは嘘である; int2 & fact6 -> int3: その記録媒体は揶揄しない; fact5 -> int4: 「もし仮に「その記録媒体は揶揄しない」ということは成り立つならその記録媒体は郵送しない」ということは正しい; int3 & int4 -> hypothesis;
その記録媒体は郵送する
fact10 -> int5: もし仮にその記録媒体は出現し易くないしポートフォリオ理論でないならそれは郵送する;
$facts$ = fact1: その歯式がポートフォリオ理論だということはないが帰化するとするとその明かり箱は帰化しない fact2: もしもその掃き溜めはポートフォリオ理論だということはないならば「その記録媒体は揶揄しない」ということは確かである fact3: 「もしもあの活躍馬は出現し易くないとすると「その掃き溜めは日米首脳会談であるしポートフォリオ理論だ」ということは成り立たない」ということは事実だ fact4: もし出現し易くない物はポートフォリオ理論でないとすると郵送する fact5: 仮に「なにがしかの物は揶揄しない」ということは間違いでないとすればそれは郵送しない fact6: もし「その掃き溜めは日米首脳会談であるしポートフォリオ理論だ」ということは真実であるということはないならその記録媒体は揶揄しない fact7: その歯式は帰化するかあるいはそれはか細いかまたはどちらもだ fact8: もし仮にその歯式が帰化するとしたらあの活躍馬は出現し易くない fact9: もしもその歯式が帰化するかまたはか細いならばあの活躍馬は出現し易いということはない ; $hypothesis$ = その記録媒体は郵送する ; $proof$ = 
fact9 & fact7 -> int1: 「あの活躍馬は出現し易くない」ということは正しい; int1 & fact3 -> int2: 「その掃き溜めは日米首脳会談だしポートフォリオ理論だ」ということは嘘である; int2 & fact6 -> int3: その記録媒体は揶揄しない; fact5 -> int4: 「もし仮に「その記録媒体は揶揄しない」ということは成り立つならその記録媒体は郵送しない」ということは正しい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: その歯式がポートフォリオ理論だということはないが帰化するとするとその明かり箱は帰化しない
事実2: もしもその掃き溜めはポートフォリオ理論だということはないならば「その記録媒体は揶揄しない」ということは確かである
事実3: 「もしもあの活躍馬は出現し易くないとすると「その掃き溜めは日米首脳会談であるしポートフォリオ理論だ」ということは成り立たない」ということは事実だ
事実4: もし出現し易くない物はポートフォリオ理論でないとすると郵送する
事実5: 仮に「なにがしかの物は揶揄しない」ということは間違いでないとすればそれは郵送しない
事実6: もし「その掃き溜めは日米首脳会談であるしポートフォリオ理論だ」ということは真実であるということはないならその記録媒体は揶揄しない
事実7: その歯式は帰化するかあるいはそれはか細いかまたはどちらもだ
事実8: もし仮にその歯式が帰化するとしたらあの活躍馬は出現し易くない
事実9: もしもその歯式が帰化するかまたはか細いならばあの活躍馬は出現し易いということはない

仮説: その記録媒体は郵送する
1. 事実9と事実7から、推論1: "「あの活躍馬は出現し易くない」ということは正しい"が導かれる
2. 推論1と事実3から、推論2: "「その掃き溜めは日米首脳会談だしポートフォリオ理論だ」ということは嘘である"が導かれる
3. 推論2と事実6から、推論3: "その記録媒体は揶揄しない"が導かれる
4. 事実5から、推論4: "「もし仮に「その記録媒体は揶揄しない」ということは成り立つならその記録媒体は郵送しない」ということは正しい"が導かれる
5. 推論3と推論4から、仮説が否定される

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