premise: Dean has not visited Roseburg, Mathew has not visited Allentown, Earl has visited Fort Smith and if Mathew has not visited Allentown then Carlos has visited Sault Sainte Marie
hypothesis: Carlos has not visited Sault Sainte Marie