premise: Curtis has not visited Monroe, Charlie has not visited Saint Cloud, Cecil has visited Lebanon and if Charlie has not visited Saint Cloud then Enrique has visited Mount Vernon
hypothesis: Enrique has visited Mount Vernon