I completely understand that the negated version of "some parrots are clever" is both "no parrots are clever" and all parrots are not clever". However, I do not understand why P <--S--> C ONLY translates to P-->/C and why it does not ALSO translate to /P --> C. I would think that P-->/C would be "all parrots are not clever" and that /P--> C would be "No parrots are clever"? Am i thinking of this the wrong way? Or was it supposed to be implied in the video that the negative (/) can "flip" around the arrow to either side?

@KevinLin Thank you so much!

For question 2 for the arya and sansa line i interpreted that as "/kill arya --> kill sansa" but he did it as "kill arya --> kill Sansa" why did my way mess up the while diagram? It seems to make sense given the conditions.