Premise: A new alliance with England was sealed in the 1386 Treaty of Windsor; a year later Joao of Avis married Philippa of Lancaster, the daughter of John of Gaunt.

Hypothesis: Joao of Avis never married Philippa of Lancaster, the daughter of John of Gaunt.
Relation: contradiction