「もし「この認知は切り開くし更にそれは利す」ということは真実でないならこの認知はプロ雀士であるということはない」ということは事実でない
fact1: もし仮に「何らかのものは切り開くしさらにそれは利す」ということは偽であるとするとプロ雀士でない
$facts$ = fact1: もし仮に「何らかのものは切り開くしさらにそれは利す」ということは偽であるとするとプロ雀士でない ; $hypothesis$ = 「もし「この認知は切り開くし更にそれは利す」ということは真実でないならこの認知はプロ雀士であるということはない」ということは事実でない ; $proof$ = 
事実1: もし仮に「何らかのものは切り開くしさらにそれは利す」ということは偽であるとするとプロ雀士でない

仮説: 「もし「この認知は切り開くし更にそれは利す」ということは真実でないならこの認知はプロ雀士であるということはない」ということは事実でない