premise: Aaron has not visited Towson, Manuel has not visited Bismarck, Brian has visited Menasha and if Manuel has not visited Bismarck then Stephen has not visited Sault Sainte Marie
hypothesis: Stephen has not visited Sault Sainte Marie