その標準はＵＮＩＸだ
fact1: もし仮に「「その標準は寝そべるけれど確認し難くない」ということは嘘だ」ということは成り立つとするとＵＮＩＸだ fact2: 「その標準は寝そべるが確認し難くない」ということは成り立たない
$facts$ = fact1: もし仮に「「その標準は寝そべるけれど確認し難くない」ということは嘘だ」ということは成り立つとするとＵＮＩＸだ fact2: 「その標準は寝そべるが確認し難くない」ということは成り立たない ; $hypothesis$ = その標準はＵＮＩＸだ ; $proof$ = 
事実1: もし仮に「「その標準は寝そべるけれど確認し難くない」ということは嘘だ」ということは成り立つとするとＵＮＩＸだ
事実2: 「その標準は寝そべるが確認し難くない」ということは成り立たない

仮説: その標準はＵＮＩＸだ