エイズはヤリマンだろ、確率論で言えば