premise: Maryann has not visited Sierra Leone, Melinda has not visited Republic of the Congo, Stacey has visited New Zealand and if Maryann has visited Sierra Leone then Irene has visited Tonga
hypothesis: Irene has not visited Tonga