A structured proof of a conclusion from a set of premises is a sequence of sentences containing the conclusion in which each sentence is either (1) a premise, (2) an assumption, or (3) the result of applying a rule of inference to earlier items in sequence.