שאלת "טענה חסרה" בשילוב קיום ותנאי

   נתונים:

כל הנחשים ארוכים.

כל מי שאוכל חרקים הוא ארסי.

אם ידוע שיש לפחות נחש אחד שאינו ארסי, איזו מהטענות נכונה בהכרח?

1.יש לפחות נחש ארסי אחד.

2.יש לפחות יצור ארוך אחד שאינו נחש.

3.יש לפחות יצור ארוך אחד שאינו אוכל חרקים.

4.יש לפחות יצור ארסי אחד שאינו נחש.

הטענה החסרה היא כמובן קיומית (כל התשובות הן כאלה אז אין אלימינציה) אבל אני לא למצליח להבין איך לגשת טכנית לשאלה.

אשמח להסבר טכני מבוסס כללים ופחות הסבר מילולי מסורבל (כמו הפתרון שמופיע בספר של יואל גבע...מסורבל ולא ברור). 

אם מישהו מהנהלת הפורום יוכל לענות יהיה נהדר ואגב זו דוגמא לשילוב טענות שהיה מצוין אם היה לכם גם באתר כי יש רק "טענה חסרה" מבוססת תנאי.

תודה,

גיא