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