وإلا ثبت 1 انتفاء الحكم في الواقع 2 ، وبعبارة أخرى : إذا فرضنا الشيء في الواقع واجبا وقامت أمارة على تحريمه ، فإن لم يحرم ذلك الفعل لم يجب العمل بالأمارة ، وإن حرم ، فإن بقي الوجوب لزم اجتماع الحكمين المتضادين ، وإن انتفى ثبت انتفاء الحكم الواقعي ، ففيه : أن المراد بالحكم الواقعي الذي يلزم بقاؤه ، هو الحكم المتعين المتعلق