What is a logical conclusion derived from premises known or assumed to be true?

generalization
inference
neither