The answer is to use the `Henry Ford' generalisation. If you have an elim rule for colours and a goal about black, just reformulate the goal so that it's about any colour you like, as long as it's black...

Next: Henry Ford generalisation | Prev: and-elim digression | Up: contents