premise: Sergio has not visited Jersey City, Kevin has not visited Victorville, Ronnie has visited Greenwood and if Kevin has not visited Victorville then Tyler has visited Bloomington
hypothesis: Tyler has not visited Bloomington