その二十歳台は輸注する
fact1: 仮に頼み難いものが処断すればそれはこそばゆくない fact2: 仮に疾しものは迷惑メールであるとすると輸注しない fact3: もし仮になんらかの物は迷惑メールでないとしたら輸注するか疾し fact4: その二十歳台は頼り無くてかつ説明し易い fact5: その二十歳台は疾し fact6: その二十歳台は迷惑メールである
fact5 & fact6 -> int1: その二十歳台は疾しししかも迷惑メールである; fact2 -> int2: 仮にその二十歳台は疾ししかつ迷惑メールならば輸注しない; int1 & int2 -> hypothesis;
fact5 & fact6 -> int1: ({A}{a} & {B}{a}); fact2 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
その二十歳台は輸注する
fact7 -> int3: もしもその表Ｄ．Ｂが迷惑メールでないとすればそれは輸注するか疾し;
$facts$ = fact1: 仮に頼み難いものが処断すればそれはこそばゆくない fact2: 仮に疾しものは迷惑メールであるとすると輸注しない fact3: もし仮になんらかの物は迷惑メールでないとしたら輸注するか疾し fact4: その二十歳台は頼り無くてかつ説明し易い fact5: その二十歳台は疾し fact6: その二十歳台は迷惑メールである ; $hypothesis$ = その二十歳台は輸注する ; $proof$ = 
fact5 & fact6 -> int1: その二十歳台は疾しししかも迷惑メールである; fact2 -> int2: 仮にその二十歳台は疾ししかつ迷惑メールならば輸注しない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に頼み難いものが処断すればそれはこそばゆくない
事実2: 仮に疾しものは迷惑メールであるとすると輸注しない
事実3: もし仮になんらかの物は迷惑メールでないとしたら輸注するか疾し
事実4: その二十歳台は頼り無くてかつ説明し易い
事実5: その二十歳台は疾し
事実6: その二十歳台は迷惑メールである

仮説: その二十歳台は輸注する
1. 事実5と事実6から、推論1: "その二十歳台は疾しししかも迷惑メールである"が導かれる
2. 事実2から、推論2: "仮にその二十歳台は疾ししかつ迷惑メールならば輸注しない"が導かれる
3. 推論1と推論2から、仮説が否定される

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