premise: Stephen has not visited Los Angeles, Charles has visited Nebraska, Francisco has not visited Westminster and if Francisco has visited Westminster then Martin has visited Ludington
hypothesis: Martin has not visited Ludington