Premise: He surely does not make a calculation--doesn't mark her to market.
Hypothesis: He calculated that and marked her to market.  
Label: contradiction