היגיון פורמלי

   אלעד ראיתי שאלה (ללא התשובה שלה) אני אכתוב אותה כלשונה:

רוב השטיחים הם פרסים
רק הפרסיים חיים בפרס.

מה נובע משילוב הטענות?
1. יש שטיחים שחיים בפרס.
2. יש שטיחים שאינם חיים בפרס
3.יש כאלה החיים בפרס ואינם שטיחים
4.תשובות 1 ו-2 נכונות.

ההצרנות שלי לטענות הן:
רוב (שטיח+פרסי)
חי בפרס---> פרסי.

כמובן שלא ניתן לשלב כך בין הטענות, כי אין "גורם משותף" מימין לחץ...

בלה בלה...
שוללים.. 
יש (שטיח+ לא פרסי)
לא פרסי---> לא חי בפרס.

תשובה 2 נכונה. נכון?

נ.ב
מה הסיכוי שתבוא כזו שאלה? של למצוא את הגורם המשותף בדאבל שלילה, ועוד בטענת קיום?