premise: Johnnie has not visited American Fork, Aaron has not visited La Crosse, Jacob has visited Richmond and if Johnnie has not visited American Fork then Victor has visited Warwick
hypothesis: Victor has visited Warwick