premise: Hugh has not visited Charlestown, Casey has not visited Belen, Cory has visited Des Moines and if Hugh has not visited Charlestown then Hector has not visited Stonington
hypothesis: Hector has not visited Stonington