Text: For Louis XIV's wars against the Netherlands in the 17th century, the military architect Vauban built a line of fortifications at Calais, Dunkerque, Douai, Valenciennes, and ' still visible ' the great citadel at Lille.
Entailment: There was a war between the Netherlands and Louis XIV in the 17th century.
Contradiction: In the 17th century, Louis XIV had no wars with the Netherlands.