Адский Бетономешатель
И брак может быть аннулирован только в одном случае - отсутствие консуммации. Разводов в 7К нет.
Освобождение от брачных обетов (причём обеих сторон) мб ещё в том случае, если муж/жена уйдёт в Дозор/Молчаливые Сёстры (классика - Квентин Болл). Элия никуда не уходила.
По факту и логике (книжной), Джон - бастард; брак Рейгара и Лианны недействителен - нельзя брать вторую жену при живой первой (привет, восстание Святого Воинства). Реяша мог поступить как один его предок - сострогать бастарда, а став королём, его узаконить. Но тогда бы пригорело у Старков и Роберта.