premise: Frederick has not visited North Platte, Cody has not visited Geneva, Tim has visited Abilene and if Frederick has not visited North Platte then Rafael has not visited Flushing
hypothesis: Rafael has not visited Flushing