This grammar contains the infamous "dangling else" problem.

Think of "S" as meaning "statement," "i" as meaning "if," and "e"
as meaning "else."

Your unambiguous grammar will have to have more than one variable.