「その高額所得者は立腹しない」ということは成り立つ
fact1: この遊軍は立腹する fact2: その高額所得者は徒らっぽい fact3: その高額所得者は立腹する fact4: その高額所得者は打診する fact5: あの菌糸体は立腹する fact6: その高額所得者はカツである fact7: この警察手帳は立腹する fact8: その下級審は立腹する
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: この遊軍は立腹する fact2: その高額所得者は徒らっぽい fact3: その高額所得者は立腹する fact4: その高額所得者は打診する fact5: あの菌糸体は立腹する fact6: その高額所得者はカツである fact7: この警察手帳は立腹する fact8: その下級審は立腹する ; $hypothesis$ = 「その高額所得者は立腹しない」ということは成り立つ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: この遊軍は立腹する
事実2: その高額所得者は徒らっぽい
事実3: その高額所得者は立腹する
事実4: その高額所得者は打診する
事実5: あの菌糸体は立腹する
事実6: その高額所得者はカツである
事実7: この警察手帳は立腹する
事実8: その下級審は立腹する

仮説: 「その高額所得者は立腹しない」ということは成り立つ
1. 事実3から、仮説が否定される

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