あの不統一は物凄い
fact1: あの不統一は虚妄でない fact2: その三字は清し fact3: もしもその三字が清しし虚妄だとすれば「あの不統一は物凄くない」ということは成り立つ fact4: もしあの不統一が信じ易いとしたら物凄い fact5: その三字は清しし虚妄である fact6: あの町田藍は物凄くない fact7: その三字は物凄いしおまけに清し
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
あの不統一は物凄い
$facts$ = fact1: あの不統一は虚妄でない fact2: その三字は清し fact3: もしもその三字が清しし虚妄だとすれば「あの不統一は物凄くない」ということは成り立つ fact4: もしあの不統一が信じ易いとしたら物凄い fact5: その三字は清しし虚妄である fact6: あの町田藍は物凄くない fact7: その三字は物凄いしおまけに清し ; $hypothesis$ = あの不統一は物凄い ; $proof$ = 
fact3 & fact5 -> hypothesis; __DISPROVED__
事実1: あの不統一は虚妄でない
事実2: その三字は清し
事実3: もしもその三字が清しし虚妄だとすれば「あの不統一は物凄くない」ということは成り立つ
事実4: もしあの不統一が信じ易いとしたら物凄い
事実5: その三字は清しし虚妄である
事実6: あの町田藍は物凄くない
事実7: その三字は物凄いしおまけに清し

仮説: あの不統一は物凄い
1. 事実3と事実5から、仮説が否定される

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