premise: Micheal has not visited Little Falls, Jared has not visited Escanaba, Herman has visited Priest River and if Micheal has not visited Little Falls then Brandon has visited Middletown
hypothesis: Brandon has not visited Middletown