Ou Francimara viaja de avião, ou Antônio mora em Porto de Galinhas, ou Cintia mora em Salvador. Se Antônio mora em Porto de Galinhas, então Flávia viaja de ônibus. Se Flávia viaja de ônibus, então Cintia mora em Salvador. Ora Cintia não mora em Salvador, logo: