El esquema de inferencia consecuente sería: