A good system of hiking trails extends into the park.
There are no trails in the park for hiking.
mnli hypothesis: There are no trails in the park for hiking. premise: A good system of hiking trails extends into the park.