premise: Maureen has not visited Rwanda, Beth has visited Netherlands, Rita has visited Argentina and if Rita has visited Argentina then Shirley has visited Equatorial Guinea
hypothesis: Shirley has not visited Equatorial Guinea