premise: Gabriel has not visited Cincinnati, Cecil has not visited Lake Havasu City, Brett has visited Hollywood and if Cecil has visited Lake Havasu City then Alvin has visited Pryor
hypothesis: Alvin has not visited Pryor