順接仮定条件