論駁不可能なパターンが先行している
else
ステートメントを検出します。