premise: Ruben has not visited Saint Martinville, Alan has not visited Anderson, Marshall has visited Burlington and if Ruben has not visited Saint Martinville then Keith has not visited Cleveland Heights
hypothesis: Keith has not visited Cleveland Heights