Se Paula gosta de salmão, então Tomás gosta de maionese de atum.

Se Tomás não gosta de maionese de atum, então Paula gosta de salmão.

Se Tomás gosta de maionese de atum, então Paula não gosta de salmão.

Se Paula não gosta de salmão, então Tomás gosta de maionese de atum.

Se Paula não gosta de salmão, então Tomás não gosta de maionese de atum.