Premise: The itinerary for a first visit to France is bound to include Paris.
Hypothesis: We are not visiting France. 
Label: contradiction