Premise: Their $4,000 IRA contributions are fully deductible.

Hypothesis: The IRA didn't contribute anything to the deductible 
Relation: contradiction