שינויים
/* בחתולים */
ז"א שאם נצרין את הטענות אז יש אפשרות שנגיד כך: "אם חתול רואה כלב אז X" השלילה היא "אם חתול רואה כלב וגם לא מתקיים X" ואז ברור שכמעט לא יהיו לנו שלילות (אולי חוץ משלילות של 9,14).
כי אם חתולים לא יראו את הכלבים בכלל, אז כל הטענות (אולי פרט ל 9, 14) שקריותאמיתיות.