premise: Patrick has not visited Perth Amboy, Mitchell has not visited South Charleston, Julio has visited Alpine and if Mitchell has not visited South Charleston then Bradley has visited Greenfield
hypothesis: Bradley has not visited Greenfield