A → één van beide is even, het andere oneven
B → als x oneven is, is zowel  x − 1  als  x + 1  even; bovendien is het verschil 2 zodat het opeenvolgende even getallen zijn
C → x en x+2 zijn twee oneven getallen
D → x is oneven, 2x is even
E → 2x en 2x+1 verschillen maar met een eenheid (moet 2 zijn)