「もし「重光訪米だ」ということは成り立つとしたら混同し易くない」物はある
fact1: もしその蹄鉄が重光訪米なら混同し易くない
$facts$ = fact1: もしその蹄鉄が重光訪米なら混同し易くない ; $hypothesis$ = 「もし「重光訪米だ」ということは成り立つとしたら混同し易くない」物はある ; $proof$ = 
事実1: もしその蹄鉄が重光訪米なら混同し易くない

仮説: 「もし「重光訪米だ」ということは成り立つとしたら混同し易くない」物はある