premise: Lewis has not visited Ocean Springs, Terrance has not visited Farmington, Brian has visited Altoona and if Lewis has not visited Ocean Springs then Phillip has visited Missouri
hypothesis: Phillip has not visited Missouri