A veces se pueden generar nuevas sentencias a partir de las existentes; este proceso se denomina 'inferencia'.