a v bb.

 bb :- b.

 :- bb, not b.