「この中央階段が汚いとするとこの中央階段は古写本だが見付け易くない」ということは成り立たない
fact1: 「汚いものは古写本であるが見付け易くない」ということは真実である
$facts$ = fact1: 「汚いものは古写本であるが見付け易くない」ということは真実である ; $hypothesis$ = 「この中央階段が汚いとするとこの中央階段は古写本だが見付け易くない」ということは成り立たない ; $proof$ = 
事実1: 「汚いものは古写本であるが見付け易くない」ということは真実である

仮説: 「この中央階段が汚いとするとこの中央階段は古写本だが見付け易くない」ということは成り立たない