premise: Terrance has not visited Brownsville, Barry has not visited Glassboro, Joshua has visited Albany and if Terrance has visited Brownsville then Sean has visited Little Rock
hypothesis: Sean has not visited Little Rock