[ntype]

Oh. Then I heart logic.

All sluts have boobs
PH has boobs
PH is a slut

Stuff like that rocks

no because you can get chicks with boobs who aren't sluts so the final assertion is not true in all the cases.

sluts = A
Bobbs = B
PH = C

A -> B
C -> B

C -> A ???