premise: Clarence has not visited McAllen, Clyde has not visited Edgartown, Tommy has visited East Cleveland and if Clarence has not visited McAllen then Mark has not visited Evansville
hypothesis: Mark has not visited Evansville