Huey, Dewey and Louie are being questioned by their uncle. These are the statements they make:

• Huey: “Dewey and Louie had equal share in it; if one is guilty, so is the other.”

• Dewey: “If Huey is guilty, then so am I.”

• Louie: “Dewey and I are not both guilty.”

Their uncle, knowing that they are scouts realizes that they cannot tell a lie.

My solution.

```
var bool :D; var bool :L; var bool :H;
    constraint D <->L;
    constraint H -> D;
    constraint D!=L;
    solve satisfy;
    output[show(D), "\n", show(L),"\n", show(H)];

```

Minizinc can't solve it.