1.因(1) 有哥哥→沒弟弟 所以有弟弟一定沒有哥哥  所以有妹妹
2.沒妹妹→沒弟弟
根據題目的(2)，沒妹妹的人一定有哥哥（因為他不可能沒哥哥，沒哥哥就會有妹妹），所以：沒妹妹→有哥哥（邏輯上的否定後件律 MT）
根據題目的(1)，有哥哥→沒弟弟
所以沒妹妹→有哥哥→沒弟弟

3.沒弟弟→有姐姐
沒弟弟無法推論到（不蘊涵＊）有姐姐，因為沒弟弟又沒姐姐是可能的！雖然根據題目的(3)，沒姐姐的人一定有弟弟或妹妹，但是就算他沒弟弟，他還是可以有妹妹。所以此選項為非。
蘊涵是指不可能前面的論述是真的，後面的論述是假的。
所以有哥哥→（蘊涵）沒弟弟，的意思就是，不可能你有哥哥（這句話是真的），可是你也有弟弟（即，沒弟弟這句話是假的）。而有弟弟不蘊涵有姐姐的意思則是，有可能，你有弟弟（這句話是真的），可是你卻沒姐姐（即，有姐姐這句話是假的）。
4.因2.所以沒有妹妹也會沒有弟弟 又因(3)沒有姐姐→有弟弟或妹妹  沒有弟弟或妹妹一定會有姊姊 
5.(2)只有說沒有哥哥→有妹妹 沒說有妹妹一定沒有哥哥 ，有哥哥可能也會有妹妹