A linear proof of a conclusion from a set of premises is a sequence of sentences containing the conclusion in which each item is either (1) a premise or (2) the result of applying a rule of inference to earlier items in sequence.