He must be in the library now，________？A. doesn't heB. mustn't heC. needn't heD. isn't he

步骤 1：理解句子结构
句子"He must be in the library now"是一个肯定的猜测，其中"must be"表示肯定的猜测，主语是"he"，谓语是"must be"，宾语是"in the library"，时间状语是"now"。
步骤 2：确定反意疑问句的结构
反意疑问句的结构是：陈述句 + 疑问句。疑问句部分的动词和主语要与陈述句部分的动词和主语保持一致。由于陈述句部分是肯定的，所以疑问句部分要用否定形式。
步骤 3：选择正确的疑问句部分
由于陈述句部分的谓语是"must be"，表示肯定的猜测，所以疑问句部分要用否定形式的"isn't he"。"doesn't he"和"needn't he"不适用于此句，因为它们分别用于否定的陈述句和表示建议的陈述句。"mustn't he"表示禁止，也不适用于此句。