premise: Dan has not visited Dearborn, Maurice has visited Lisle, Jeff has not visited Chambersburg and if Jeff has not visited Chambersburg then Marshall has visited Sag Harbor
hypothesis: Marshall has not visited Sag Harbor