premise: Javier has not visited Twin Falls, Jerome has not visited Easton, Justin has visited San Simeon and if Jerome has not visited Easton then Daryl has not visited Windsor Locks
hypothesis: Daryl has not visited Windsor Locks