premise: Roy has not visited Barre, Tyrone has visited South Orange Village, Alfredo has not visited Cocoa-Rockledge and if Alfredo has not visited Cocoa-Rockledge then Dwight has visited Rexburg
hypothesis: Dwight has not visited Rexburg