そのＭＡＰはべた付き易くない
fact1: その頌はべた付き易い fact2: そのＭＡＰは華やぐ fact3: そのＭＡＰはべた付き易い fact4: 仮に「とあるものは御早いし叱り飛ばす」ということは事実と異なるならそれはべた付き易いということはない
fact3 -> hypothesis;
fact3 -> hypothesis;
そのＭＡＰはべた付き易いということはない
fact5 -> int1: もし仮に「そのＭＡＰは御早くて叱り飛ばす」ということは成り立たないとすればそれはべた付き易いということはない;
$facts$ = fact1: その頌はべた付き易い fact2: そのＭＡＰは華やぐ fact3: そのＭＡＰはべた付き易い fact4: 仮に「とあるものは御早いし叱り飛ばす」ということは事実と異なるならそれはべた付き易いということはない ; $hypothesis$ = そのＭＡＰはべた付き易くない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: その頌はべた付き易い
事実2: そのＭＡＰは華やぐ
事実3: そのＭＡＰはべた付き易い
事実4: 仮に「とあるものは御早いし叱り飛ばす」ということは事実と異なるならそれはべた付き易いということはない

仮説: そのＭＡＰはべた付き易くない
1. 事実3から、仮説が否定される

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