这个是马工程逻辑学第三章课后题1（8），有一点不理解，请大神指点一下。
由步骤【3】可以推出A和D，与步骤【9】的﹁D相矛盾，感觉整个前提条件就是矛盾的。
为何步骤【10】要hyp﹁B？如果我在步骤【11】hypB，那最后是不是能得出﹁B？
这个地方怎样都理解不了，麻烦大神帮帮忙！谢谢啦！