premise: Tony has not visited Johnstown, Ricardo has visited West Springfield, Ian has not visited Little Rock and if Ian has not visited Little Rock then Javier has not visited Oregon
hypothesis: Javier has not visited Oregon