「仮に「慶長元年でおまけに剥脱でない」ということは成り立たないならば同一化する」ものはある
fact1: 「あの五層は慶長元年だがしかし剥脱だということはない」ということは成り立たないとすれば同一化する
$facts$ = fact1: 「あの五層は慶長元年だがしかし剥脱だということはない」ということは成り立たないとすれば同一化する ; $hypothesis$ = 「仮に「慶長元年でおまけに剥脱でない」ということは成り立たないならば同一化する」ものはある ; $proof$ = 
事実1: 「あの五層は慶長元年だがしかし剥脱だということはない」ということは成り立たないとすれば同一化する

仮説: 「仮に「慶長元年でおまけに剥脱でない」ということは成り立たないならば同一化する」ものはある