Si llueve (p), entonces me mojo (q). Llueve (q). Luego me mojo.

Si llueve, me mojo. No me he mojado. Entonces, no ha llovido.

Si llueve, me mojo. Si me mojo, me resfrío. Entonces, si llueve me resfrío.

Si Juan es sospechoso, si María es sospechosa, uno de los dos pudo ser el asesino. Resulta que Juan
no es sospechoso porque tiene por cuartada. Entonces, o María es la asesina, o tendremos que
buscar otro sospechoso.