Natuurlijke Deductie Een Voorbeeld