premise: Margarita has not visited Canada, Fannie has visited Saint Lucia, Jeanette has visited Timor-Leste and if Fannie has visited Saint Lucia then Patricia has visited Luxembourg
hypothesis: Patricia has not visited Luxembourg