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