That's correct, 敬語 perfectly follows the rules, but while there are rules for 普通体 (ある instead of あります), people mostly just talk in whatever way they want that does not follow any rules.
It's quite shocking to me as a Dutch person, we hardly have such a big difference between formal and informal Dutch