@nice_try
The dogpill is a blackpilled theory that suggests that human females prefer sex with dogs or other Canids over sex with incels.
Your line of argument is as follows:
1. There are women who have relationships with dogs.
2. There is news that supports it.
3. As there is news that supports it, it is shown that a foid prefers a dog to an incel.
- Let's convert the statements into formal symbolic logic:
1. Let W(x) represent "x is a woman" and R(x, y) represent "x has a relationship with y." The statement "There are women who have relationships with dogs" can be symbolized as:
∃x (W(x) ∧ R(x, dog))
2. Let N represent "There is news that supports it." The statement "There is news that supports it" can be symbolized as:
N
3. Let F(x) represent "x is a foid" and I(x) represent "x is an incel." The statement "It is shown that a foid prefers a dog to an incel" can be symbolized as:
∃x (F(x) → (R(x, dog) ∧ ¬∃y(I(y) ∧ R(x, y))))
Combining the three symbolic representations, the entire set of statements can be written as:
∃x (W(x) ∧ R(x, dog))
N
∃x (F(x) → (R(x, dog) ∧ ¬∃y(I(y) ∧ R(x, y))))
Adding that a hypothetical "lesbianpill" could be created and determined that:
1. Lesbians prefer to be with a woman before an incel.
Let L(x) represent "x is a lesbian" and P(x, y) represent "x prefers to be with y." The statement "Lesbians prefer to be with a woman before an incel" can be symbolized as:
∀x (L(x) → (P(x, woman) ∧ ¬P(x, incel)))
2. All the lesbians only do cop because they can't be with a Chad.
Let C(x) represent "x does cop" and H(x) represent "x is a Chad." The statement "All the lesbians only do cop because they can't be with a Chad" can be symbolized as:
∀x (L(x) → (C(x) ∧ ¬∃y(H(y) ∧ P(x, y))))
3. Therefore, lesbians are not sexual deviants, like foids dogsexhaving.
Let D(x) represent "x is a sexual deviant" and F(x) represent "x is a foid". The statement "Therefore, lesbians are not sexual deviants, like foids dogsexhaving" can be symbolized as:
¬(∃x (L(x) ∧ D(x)) ∧ ∃x (F(x) ∧ ∃y (R(x, y) ∧ y = dog)))
Combining the three symbolic representations, the entire set of statements can be written as:
∀x (L(x) → (P(x, woman) ∧ ¬P(x, incel)))
∀x (L(x) → (C(x) ∧ ¬∃y(H(y) ∧ P(x, y))))
¬(∃x (L(x) ∧ D(x)) ∧ ∃x (F(x) ∧ ∃y (R(x, y) ∧ y = dog)))
1. Lesbians prefer to be with a woman before an incel.
2. All the lesbians only do cop because they can't be with a Chad.
3. Therefore, lesbians are not sexual deviants, like foids dogsexhaving.
To which is meant that if a minority of foids statistically reported having this type of sexual deviations, one wants to conclude that all women tend bestialist tendencies and that therefore, a foid will choose a dog before an incel, and what's more, before a Chad because it is supposed that the foid gives exclusivity to the dog.
Combining all line of logic, we conclude that a foid will choose a dog over a Chad:
¬(∃x (L(x) ∧ D(x)) ∧ ∃x (F(x) ∧ ∃y (R(x, y) ∧ y = dog))) ∧ ∀x (L(x) → (P(x, woman) ∧ ¬P(x, incel))) ∧ ∀x (L(x) → (C(x) ∧ ¬∃y(H(y) ∧ P(x, y))))