premise: Armando has not visited Hazleton, Everett has visited Fairfield, Steven has not visited Big Spring and if Steven has not visited Big Spring then Timothy has visited Greenfield
hypothesis: Timothy has not visited Greenfield