premise: Jerome has not visited San Juan Capistrano, Dan has not visited Winnemucca, Bryan has visited Newark and if Dan has visited Winnemucca then Ricardo has visited East Orange
hypothesis: Ricardo has not visited East Orange