правильно ли следующее умозаключение: Все планеты - небесные тела. Луна не является планетой, следовательно она не является небесным телом?