「あのＨＤＬは固有でないけれど青白い」ということは嘘である
fact1: もし仮にあの未確立がしんどいとするとあのＨＤＬは固有でないがしかし青白い fact2: あの未確立はしんどい
$facts$ = fact1: もし仮にあの未確立がしんどいとするとあのＨＤＬは固有でないがしかし青白い fact2: あの未確立はしんどい ; $hypothesis$ = 「あのＨＤＬは固有でないけれど青白い」ということは嘘である ; $proof$ = 
事実1: もし仮にあの未確立がしんどいとするとあのＨＤＬは固有でないがしかし青白い
事実2: あの未確立はしんどい

仮説: 「あのＨＤＬは固有でないけれど青白い」ということは嘘である