You must see that "in many cases of false accusation, there were two or more women against a man, [and they were lying]¹“ is also not proof of anything.
Yes I agree, but my original meaning is that there are many cases of false accusations with two or more false accusers. So saying that "many women reported ..." is not per se a good enough convincing argument, without analyzing in details these reports and the context. I said this, because intuitively one believe that if there are two or more accusers, then something must be true. Obviously as you said, the contrary is not true: one accuser is not more believable than two or more.
What is your metric for “cases of false accusations”? Are we talking rape cases only?
Sexual abuse in case of famous/important person, where money is involved, and domestic violence in case of conflicting divorces. In Italy, an official document signed by judges, psychologist and other legal operators, informs the Senate that the false accuse (strictly false or exagerated, not simply "unprovable") are presumably from 70% to 90% in case of conflicting divorces. This is the link to the document https://www.senato.it/documenti/repository/commissioni/comm02/documenti_acquisiti/957%20FENBI%20-%20A.pdf
You prefaced your statement with “I would not like many of the women he frequents³”. Is your personal opinion of “the women her frequents” an indicator of whether or not he was capable of raping or trafficking them? Is it in any way relevant at all?
I don't know the women he frequents, but it can be a suspicious context, because there are many rapist, but sometime there are also false accuses. So a proper trial must be done. I didn't know the details, so after reading more, probably he is guilty. I wrote in general terms, because sometime there were cases against famous people like Johnny Depp or Woody Allen were the accusations were not true.
You can try also https://gtoolkit.com/ The language is the same of Pharo, but the GUI is better, IMHO.
Glamorous Toolkit/Pharo are better than CL as IDE/GUI. It is more like a "video-game", because the IDE is a first class citizen and you can customize it. For example you can notice if some classes are not passing some tests, because there are flags in the IDE.
As language I prefer CL, because metaprogramming (i.e. macro) are more explicit and clear respect Smallatalk approach.
In CL you have something like "(some-dsl-prefix ...)" and all the things following the "(some-dsl-prefix ...)" are clearly is the specified DSL. You can expand the macro, for seeing its semantic.
In Smalltalk you had to check the metaclass that created the object, but objects can be created in different point respect their usage, so good luck. Then you had to inspect if the behavior of some standard method is modified/customized. CL macro run at compile-time, while Smalltalk metaprogramming code run at run-time, using reflection, and customization of metaclasses.
A CL macro has a better view of the DSL code, because it can walk in it. I don't remember how Smalltalk solves this.
I tried Smalltalk few years ago, so maybe I missed something.