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.
๐๐ ๐ญ๐ฎ๐ช๐ป๐ฎ๐ผ๐ฝ ๐ซ๐ป๐ธ๐ฝ๐ฑ๐ฎ๐ป, ๐ ๐๐ป๐ฒ๐ฝ๐ฎ ๐๐ธ๐พ ๐ฒ๐ท ๐ญ๐ฎ๐ฎ๐น ๐ถ๐ฎ๐ต๐ช๐ท๐ฌ๐ฑ๐ธ๐ต๐. ๐๐ฝ ๐ช๐น๐น๐ฎ๐ช๐ป๐ผ ๐ฝ๐ธ ๐ถ๐ฎ ๐ฝ๐ฑ๐ช๐ฝ ๐ฝ๐ฑ๐ฎ๐ป๐ฎ ๐ฒ๐ผ๐ท'๐ฝ ๐ช๐ท๐ ๐ฌ๐ธ๐ฌ๐ด ๐ต๐ฎ๐ฏ๐ฝ