premise: Glen has not visited Barberton, Edwin has visited Spartanburg, Aaron has not visited Bay Saint Louis and if Aaron has visited Bay Saint Louis then Brian has visited Bloomington
hypothesis: Brian has visited Bloomington