==> logic/condoms.p <==
How can a man have mutually safe sex with three women with only two condoms?
How can three men have mutually safe sex with one woman with two condoms?