V zelené krabici je mléko.
V jedné červené krabici je víno.
V druhé červené krabici je mléko.
Předpoklady jsou splněny.
Tvrzení "mléko není v červené krabici" splněno není. Nevyplývá tedy z předpokladů.
(Nebo lépe - v jedné červené krabici je smíchané mléko s vínem. No fuj.)