「その縁評価は配付するがファースト・ネームでない」ということは成り立たない
fact1: その縁評価は配付する一方でファースト・ネームでない
$facts$ = fact1: その縁評価は配付する一方でファースト・ネームでない ; $hypothesis$ = 「その縁評価は配付するがファースト・ネームでない」ということは成り立たない ; $proof$ = 
事実1: その縁評価は配付する一方でファースト・ネームでない

仮説: 「その縁評価は配付するがファースト・ネームでない」ということは成り立たない