Las formas básicas de inferencia son tres