전제: 시에라 네바다 산맥의 일부는 시에라 네바다 국립공원에 포함되어 있다.
함의: 시에라 네바다 국립공원에는 시에라 네바다 산맥 일부가 포함되어 있다.
모순: 시에라 네바다 산맥 전체는 시에라 네바다 국립공원에 포함되어 있다.