שאלה בהגיון צורני

ועוד שאלה קטנה:
נתתם דגומה לסתירה של טענת קיום.
יש פלפל אדום. יש(פלפל---אדום).
סתירה: יש (פלפל---לא אדום) וגם- יש(אדום---לא פלפל).

איך אדום---לא פלפל זאת שלילה?
זה לא אומר שיש פלפלים שהם לא אדומים, זה אומר שיש אדומים שהם לא פלפל.
זה לא סותר.
תודה.

זה מה שכתוב אצלכם באתר. העתקתי