Incompreensão

Não percebo toda esta polémica em relação às IVG´s não pagarem taxas moderadoras. Penso que alguns ganhariam muito em estudar a lógica aristotélica:

As grávidas não pagam taxas moderadoras.
As mulheres que fazem interrupção da gravidez são grávidas.
Logo,
As mulheres que fazem interrupção da gravidez não pagam taxas moderadoras.

Trata-se de um silogismo categórico. Parece-me uma dedução suficientemente simples, premissas verdadeiras, raciocínio válido, What´s the problem?