premise: Andrew has not visited Bogalusa, Warren has not visited Collinsville, Calvin has visited Wailuku and if Warren has visited Collinsville then Brandon has visited Watervliet
hypothesis: Brandon has visited Watervliet