premise: Isabel has not visited El Salvador, Robin has visited Kiribati, Jamie has not visited Switzerland and if Jamie has not visited Switzerland then Judy has visited Saint Vincent & the Grenadines
hypothesis: Judy has not visited Saint Vincent & the Grenadines