Sequential effects in deduction: Cost of inference switch