premise: Timothy has not visited Tyler, Ronnie has visited Bloomfield Hills, Julio has not visited Gainesville and if Julio has not visited Gainesville then Terry has visited Niagara Falls
hypothesis: Terry has not visited Niagara Falls