Instruct: Given a premise, retrieve a hypothesis that is entailed by the premise.
Query: The High Rock Canyon Wilderness is a U S Wilderness Area in Nevada under the Bureau of Land Management. It is located on the southwest side of High Rock Canyon and north of the Little High Rock Canyon Wilderness. It does not include the 4x4 trail in High Rock Canyon.
The High Rock Canyon Wilderness is government property.
The Arkansas Mountain AVA has a lot of rocks on it
Valley of Fire Highway is located in Clark County, Nevada. 
The Valley of Fire Road is not a Nevada Scenic Byway
Southern Nevada is also known as Clark County 
There are roads in Clark County, Nevada. 
Southern Nevada is home to Tonopah
Desert Rock Airport is owned and operated autonomously by Nye County, Nevada
The Arkansas Mountain AVA is made mostly of dirt
Hawthorne is located in nevada
Desert Rock Airport is owned by the Nevada Department of Energy and located three miles southwest of the western business district of Mercury
The Okanagan Highland does not cross Canadian borders.
There are sandstone arches in Nevada.
The Arkansas Mountain AVA is smaller than the Great Smokey Mountain National Park.
The Altar Valley crosses several Reservations.
The Nevada Scenic Byway is not in Nevada.
Bridge Mountain is in Nevada.
A government agency oversees a portion of land in Nevada.
The wildlife management area is not located in a Natural Reserve.
Clark County is in Nevada. 
The Arkansas Mountain AVA is smaller than the Ozark Mountain AVA
The Arkansas Mountain AVA has many hiking trails.
High Rock Canyon is well-developed with homes and business.
High Rock Canyon Wilderness includes a 4x4 trail
The High Rock Canyon Wilderness cannot be sold by private companies. 