Si pasas por el supermercado, compra manzanas (p -> q). Si compras manzanas, haré compota de manzanas (q -> r). Luego, si pasas por el supermercado, haré compota de manzanas (p -> r). La conclusión de este argumento se ha obtenido aplicando la regla de inferencia: