Pes, který štěká, nekouše

Mějme množinu všech psů P a dále predikáty určující, zda pes štěká S(x) a kouše K(x). Přísloví pak tvrdí, že

∀p∈P: S(p) ⇒ ¬K(p).

Pro každé p z P platí, že jestliže je splněno S(p), pak není splněno K(p).