premise: Craig has not visited Chillicothe, Barry has not visited Sterling, Tyrone has visited Peabody and if Barry has not visited Sterling then Roberto has not visited Mount Vernon
hypothesis: Roberto has not visited Mount Vernon