「もし「比較し難くないか甘んじないかあるいはどちらもだ」ということは成り立たないならば鉄柱な」ものはある
fact1: もし仮に「この中世末期は比較し難くないかまたは甘んじないか両方である」ということは間違っているとすると鉄柱だ
$facts$ = fact1: もし仮に「この中世末期は比較し難くないかまたは甘んじないか両方である」ということは間違っているとすると鉄柱だ ; $hypothesis$ = 「もし「比較し難くないか甘んじないかあるいはどちらもだ」ということは成り立たないならば鉄柱な」ものはある ; $proof$ = 
事実1: もし仮に「この中世末期は比較し難くないかまたは甘んじないか両方である」ということは間違っているとすると鉄柱だ

仮説: 「もし「比較し難くないか甘んじないかあるいはどちらもだ」ということは成り立たないならば鉄柱な」ものはある