Logically, we got the rule:
"A then B is true", the equivalent derived from that must be "Not B then Not A" is true.
In your case,
A = Angles that are adjustment
B = (the Angles) share a vertex.
She was against to the rule above.
Maybe i got your idea wrong :)