premise: Ernest has not visited Freeport, Troy has not visited College Park, Miguel has visited Osawatomie and if Troy has visited College Park then Gilbert has visited Belle Fourche
hypothesis: Gilbert has not visited Belle Fourche