فإن حبسني حابس فمحلي حيث حبستني إذا قال الحاج ذلك عند الإحرام وأصابه عائق عن إتمام نسكه فإنه - من طهرت من الحيض واغتسلت واشترطت ثم رأت إفرازات واعتمرت

ينص قانون القياس المنطقي إنه إذا كانت العبارتان الشرطيتان p→q , q → r صحيحتين فإنه ينتج عن ذلك عبارة شرطية صحيحة أيضا هي

فإن حبسني حابس فمحلي حيث حبستني إذا قال الحاج ذلك عند الإحرام وأصابه عائق عن إتمام نسكه فإنه