Considere que as sentenças dadas a seguir são verdadeiras:

S1: Se Alice é cearense, então Bianca é paraense. S2: Se Consuelo é piauiense, então Bianca não é paraense. S3: Se Alice não é cearense, então Consuelo não é piauiense. S4: Alice é cearense ou Consuelo é piauiense.

Pode-se deduzir corretamente que: