Proof of the absence of female logic