You explained it beautifully. Thank you so much for your help.

What I do not understand is how exactly the negate sufficient rule is being applied in the conclusion, because to me it seems incorrect. Since there is an unless in the why is the conclusion not /J →D or /D→J. Is it because the cannot is in front of the Jedi so it makes it /J→/D. This part is confusing for, can someone please explain.