premise: Mattie has not visited Malaysia, Dolores has not visited Palau, Judy has visited Costa Rica and if Dolores has not visited Palau then Joyce has visited Equatorial Guinea
hypothesis: Joyce has visited Equatorial Guinea