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