El esquema básico inferencial recuerda entonces a un silogismo y es el siguiente: