how do I know anything after Unless is "necessary", why is not like " resident /prohibited --> purpose "

then its not " /purpose ---> resident prohibit"

isn't this came to the same result?

how to make the contrapositive with "and " in the diagram?