Jak rozliczyć sprzedaż eksportową na gruncie podatku VAT?

Pytanie

W kwietniu br. wystawiliśmy fakturę eksportową (Szwajcaria) warunki dostawy EXW i my dokonywaliśmy odprawy celnej. 18 kwietnia otrzymaliśmy komunikat IE 529. Z jakiś powodów procedura ta została wstrzymana i 16 lipca otrzymaliśmy komunikat IE 509 czyli decyzje o unieważnieniu MRN z kwietnia. Ponieważ w maju księgowość miała informację, że towar nie wyjedzie z Polski nie ujęliśmy tej transakcji w VAT-7, co chyba nie jest właściwe. Wydaje mi się, że należało: w maju wykazać sprzedaż krajową, przy czym kwota z f-ry jest kwota brutto, natomiast w deklaracji lipcowej na podst. komunikatu IE 509 umniejszyć sprzedaż krajową i oczywiście nie wykazywać eksportu.

Czy takie rozumowanie jest prawidłowe?