premise: Billy has not visited Mansfield, Peter has not visited East Providence, William has visited Charlevoix and if Peter has not visited East Providence then Dan has not visited Nome
hypothesis: Dan has not visited Nome