... rephrasing of a conditional in terms of negations (as in, P --> ... not negation of the original statement.
Your ... the necessary part of the conditional statement of rule 2. Each ... the necessary part of the conditional statement of rule 2, which ...