q(1..4).
{r(U+1) : q(U)}.
:- not {r(U)}2.

#show r/1.