premise: William has not visited Groton, Eduardo has not visited Mississippi, Sean has visited Brunswick and if Eduardo has visited Mississippi then Adrian has visited Las Vegas
hypothesis: Adrian has not visited Las Vegas