A comparison of logic differences between MGTOW and FDS

Having researched both the FDS and MGTOW subs for a while, I have taken note of the following patterns of speech:

MGTOW LOGIC
P -> Q
P
.: Q

FDS LOGIC
"Po-Ta-To"

Based on the above, I would assert that the probability can be expressed as:

A: FDS
B: MGTOW
C: Logically sound
D: Average post on FDS
E: Average post on MGTOW

pr(C|prov(E,B)) > pr(¬C|prov(D,A))

Postscript: i'm confident in my theorem courtesy of u/Chaos1990