premise: Dale has not visited Bethesda-Chevy Chas note, Mario has not visited Clayton, Marion has visited Clarksburg and if Mario has visited Clayton then Wade has visited Hot Springs
hypothesis: Wade has visited Hot Springs