「もし「選択し為さるし更に通り難くない」ということは成り立たないなら蹄鉄な」ものはある
fact1: もしも「その植民地期は選択し為さるがしかし通り難くない」ということは事実でないとするとそれは蹄鉄だ
$facts$ = fact1: もしも「その植民地期は選択し為さるがしかし通り難くない」ということは事実でないとするとそれは蹄鉄だ ; $hypothesis$ = 「もし「選択し為さるし更に通り難くない」ということは成り立たないなら蹄鉄な」ものはある ; $proof$ = 
事実1: もしも「その植民地期は選択し為さるがしかし通り難くない」ということは事実でないとするとそれは蹄鉄だ

仮説: 「もし「選択し為さるし更に通り難くない」ということは成り立たないなら蹄鉄な」ものはある