...
The original statement is a conditional, when negated yields /u then ... lesson you referenced is for negating intersection statements
No ... It’s for negating conditional statements. It literally says "Negating the Conditional Sentence” in bold ...