《环境保护法》规定了环境污染防治工作中的“三同时”制度，该制度是指建设项目中的环境保护措施与主体工程：

A．如双方在合同中选择了适用的法律，则适用其选择的法律
B．如双方在合同中选择了适用的法律，但选择的是与我国没有正式建交的国家的法律，则须由双方重新作出选择
C．如双方未选择适用的法律，则应适用我国法律
D．如双方未选择适用的法律，则应适用巴基斯坦法律

A．司机张某在驾车途中突发心脏病，将车停在标有“此处禁止停车，违者罚款100元”处，但张某最终没有受到处罚，此为运用辩证推理的结果
B．某地人民法院在《刑法》修改之前，尚未制定新的司法解释，根据《刑法》第5条的规定，刑罚的轻重，应当与犯罪分子所犯罪行和承担的刑事责任相适应，此处运用了演绎推理方法
C．最高人民法院在审判的实践中通过对下级法院类似案件的若干判决进行比较，从中选择出个别可供其他法院借鉴的案例，这里运用了归纳和类比推理方法的结合
D．如果门前草坪是湿的；并且观察到，如果在晚上天下雨了，草坪就会湿，因此我们可以得出结论，昨天晚上天下雨了，这里运用了设证推理