('the moon is inhabited') is the conclusion; but the one premise ('the earth is inhabited') is likewise P; in so far as is supposed to be a conclusion, it entails the requirement that that premise also be.