Text: (Interest on IRA savings is not taxed until an individual withdraws it.
Entailment: IRA savings are only taxed upon withdrawal.
Contradiction: Interest on IRA savings is never taxed, never ever.