premise: Theodore has visited Bay Saint Louis, Bill has not visited Okmulgee, Alexander has visited Oklahoma City and if Theodore has visited Bay Saint Louis then Tommy has visited Georgia
hypothesis: Tommy has not visited Georgia