premise: Phillip has not visited Poughkeepsie, Nathaniel has visited Guymon, Casey has not visited Greenfield and if Casey has not visited Greenfield then Marshall has visited La Junta
hypothesis: Marshall has visited La Junta