「その扇形は染まる」ということは成り立つ
fact1: その扇形は染まるということはないしそれはごわすない
fact1 -> hypothesis;
$facts$ = fact1: その扇形は染まるということはないしそれはごわすない ; $hypothesis$ = 「その扇形は染まる」ということは成り立つ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: その扇形は染まるということはないしそれはごわすない

仮説: 「その扇形は染まる」ということは成り立つ
1. 事実1から、仮説が否定される

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