Ale ne. V předpokladech máme, že víno je v červené krabici(*), takže první část implikace ("Jestliže je víno v hnědé krabici") neplatí a tím pádem celá implikace platí. Navíc nejde o to, který z výroků platí, ale který podle pravidel výrokové logiky vyplývá z předpokladů.
(*) Nezávisle na tom, jestli "nebo" znamená OR nebo XOR.