premise: Aaron has not visited Denison, Reginald has not visited Petoskey, Javier has visited Sallisaw and if Reginald has not visited Petoskey then Tyler has not visited Dickinson
hypothesis: Tyler has not visited Dickinson