inference is the forming of a conclusion from premises by logical methods.