The itinerary for a first visit to France is bound to include Paris.
We are not visiting France. 
mnli hypothesis: We are not visiting France.  premise: The itinerary for a first visit to France is bound to include Paris.