Z.B.: “Diese Satzfolge beweist ihren letzten Satz.” “Diese Satzfolge beweist ‘p’ aus ‘q’, ‘r’ & ‘s’.”