premise: Andrew has not visited East Saint Louis, Justin has visited Toccoa, Jamie has not visited Eastchester and if Jamie has not visited Eastchester then Sergio has visited Gallup
hypothesis: Sergio has not visited Gallup