Premise: Miroslava `` Mirka '' Federer ( born Miroslava Vavrincová on 1 April 1978 , later Miroslava Vavrinec ) is a Slovak-born Swiss former professional tennis player .
Hypothesis: Mirka Federer was born in any year but 1978.
Label: CONTRADICTION