「あの墨ちゃんはヤカイ沢でない」ということは本当だ
fact1: あの墨ちゃんはヤカイ沢だ fact2: このダヴ・ブランドはヤカイ沢だ fact3: その異分野はヤカイ沢だ fact4: あの墨ちゃんは袖幅だ
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: あの墨ちゃんはヤカイ沢だ fact2: このダヴ・ブランドはヤカイ沢だ fact3: その異分野はヤカイ沢だ fact4: あの墨ちゃんは袖幅だ ; $hypothesis$ = 「あの墨ちゃんはヤカイ沢でない」ということは本当だ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: あの墨ちゃんはヤカイ沢だ
事実2: このダヴ・ブランドはヤカイ沢だ
事実3: その異分野はヤカイ沢だ
事実4: あの墨ちゃんは袖幅だ

仮説: 「あの墨ちゃんはヤカイ沢でない」ということは本当だ
1. 事実1から、仮説が否定される

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