premise: Viola has only visited Hialeah, Kingston, Longview, Dedham, Oregon, Boonesborough, Pekin, Marietta, Canyon, Woodward, Plains, Garden City, Virginia Beach, Cadillac and Point Roberts
hypothesis: Tracy didn't visit Canyon