premise: Steve has not visited Red Bluff, Franklin has not visited Moses Lake, Chris has visited New Madrid and if Steve has visited Red Bluff then Frank has visited East Hartford
hypothesis: Frank has not visited East Hartford