premise: Marshall has visited Groton, Wallace has not visited Arkansas City, Vincent has visited Palo Alto and if Marshall has visited Groton then Billy has visited Saint Charles
hypothesis: Billy has not visited Saint Charles