Uma certa empresa farmacêutica guarda a sete chaves o segredo do lançamento de seus próximos produtos. Uma espionagem patrocinada por uma empresa concorrente descobriu que três novos medicamentos estão sendo produzidos: anti-A (contra azia), anti-B (contra bronquite) e anti-C (contra cefaleia), mas não soube dizer se eles serão ou não lançados no mercado.

A espionagem conseguiu ainda recolher as seguintes informações adicionais:

1. se o anti-C for lançado, o anti-A também será lançado.
2. se anti-C não for lançado, o anti-A também não será lançado.
3. se o anti-B for lançado, o anti-A também será lançado, mas não o anti-C.

Com essas informações, a empresa concorrente sabe que