premise: Marvin has visited Campbellsville, Bill has not visited Orangeburg, Victor has visited Beaufort and if Marvin has visited Campbellsville then Christopher has visited Ocean City
hypothesis: Christopher has not visited Ocean City