We know that "Not all lemons are yellow", as it has been assumed to be true. We know that "All lemons are yellow", as it has been assumed to be true. Therefore, the two-part statement "All lemons are yellow OR unicorns exist" must also be true, since the first part "All lemons are yellow" of the two-part statement is true (as this has been assumed). However, since we know that "Not all lemons are yellow" (as this has been assumed), the first part is false, and hence the second part must be true.
Gimme gimme chicken tendies, be they crispy or from Wendys. Spend my hard-earned good-boy points, on Kid's Meal ball pit burger joints. Mummy lifts me to the car, to find me tendies near and far. Enjoy my tasty tendie treats, in comfy big boy booster seats.