Условие, которое вы написали, никогда не становится ложным, поскольку dtion всегда выполняется для одного из условий, поэтому общее условие всегда становится истинным.
Условие, которое вы ищете, выглядит следующим образом:
while not (dtion == "right" or dtion == "Right"):
Это будет работать так: