もし「この金属は汚くなくて色違いでない」ということは成り立たないとするとそれは御辛い
fact1: もしも「ある物は汚くないし更に色違いであるということはない」ということは誤っていれば御辛い
$facts$ = fact1: もしも「ある物は汚くないし更に色違いであるということはない」ということは誤っていれば御辛い ; $hypothesis$ = もし「この金属は汚くなくて色違いでない」ということは成り立たないとするとそれは御辛い ; $proof$ = 
事実1: もしも「ある物は汚くないし更に色違いであるということはない」ということは誤っていれば御辛い

仮説: もし「この金属は汚くなくて色違いでない」ということは成り立たないとするとそれは御辛い