premise: Aaron has not visited Old Saybrook, Jimmy has not visited Waterford, Bruce has visited Tuscaloosa and if Aaron has not visited Old Saybrook then Calvin has not visited Sarasota
hypothesis: Calvin has not visited Sarasota