premise: Lonnie has not visited Manchester, Cory has not visited Saint Louis, Rick has visited Pagosa Springs and if Cory has visited Saint Louis then Dave has visited Lake Charles
hypothesis: Dave has visited Lake Charles