P1) Someone is a woman if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and someone is over 18 years of age.
(∀x(Wx↔Lx∧Ox))
P2) Someone is a man if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and someone is over 18 years of age.
(∀x(Mx↔Sx∧Ox))
P3) A trans person of the male sex possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and a trans person with small gametes is over 18 years of age.
(La∧Oa)
P4) A trans person of the female sex possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and a trans person with large gametes is over 18 years of age.
(Sg∧Og)
C) Therefore, a trans person of the male sex is a woman and a trans person with female sex is a man.
(∴Wa∧Mg)

P1) Someone is a woman if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes **and** is over 18 years of age.
(∀x(Wx↔(Lx∧Ox)))
P2) Someone is a man if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and is over 18 years of age.
(∀x(Mx↔(Sx∧Ox)))
P3) Someone is a trans person with male sex if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and is over 18 years of age.
∀x(Ax↔(Lx∧Ox))
P4) Someone is a trans person with female sex if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and is over 18 years of age.
∀x(Bx↔(Sx∧Ox))
C) Therefore, a trans person with small gametes implies a women and a trans person with large gametes implies a man.
(∴∀x(Ax→Wx)∧∀x(Bx→Mx))