premise: According to the US Geological Survey, the mountain's proper name is Howard Knob, but it is known to locals and tourists as Howard's Knob.
hypothesis: According to the US Geological Survey, the mountain 's proper name is Howard Knob.