My life right now

That's because "no" should be converted to negative.
In that case you'll get 0 = 0

This is a proof showing that the operator they defined ("no") is not commutative.

This doesn't work because study could be thought of as variable "X" and fail could be variable "Y" you can't just add an x and a y to both sides