「その阿礼は発揮し難くてそれは出題する」ということは成り立たない
fact1: その阿礼はスムーズシェーディングでない fact2: もしその阿礼はスムーズシェーディングでないならば「それは発揮し難いしかつ出題する」ということは嘘である
$facts$ = fact1: その阿礼はスムーズシェーディングでない fact2: もしその阿礼はスムーズシェーディングでないならば「それは発揮し難いしかつ出題する」ということは嘘である ; $hypothesis$ = 「その阿礼は発揮し難くてそれは出題する」ということは成り立たない ; $proof$ = 
事実1: その阿礼はスムーズシェーディングでない
事実2: もしその阿礼はスムーズシェーディングでないならば「それは発揮し難いしかつ出題する」ということは嘘である

仮説: 「その阿礼は発揮し難くてそれは出題する」ということは成り立たない