premise: Kirk has not visited Hibbing, Willie has not visited Junction City, Brian has visited Salt Lake City and if Willie has visited Junction City then Barry has visited Johnson City
hypothesis: Barry has not visited Johnson City