- Si la línea corresponde a una fórmula inferida, se indicará a su derecha la regla aplicada y las premisas o las líneas a las que se ha aplicado la regla.