Prémisse : Le 27 janvier 1756, le compositeur Wolfgang Amadeus Mozart est né à Salzbourg, en Autriche.
Hypothèse : Wolfgang Amadeus Mozart est né à Salzbourg.
Relation : entailment