premise: Faye has not visited United States, Cynthia has not visited Marshall Islands, Nicole has visited Nicaragua and if Faye has visited United States then Kim has visited Costa Rica
hypothesis: Kim has visited Costa Rica