- B + D = A + 2
- A + D = B + 4
Solve
- B + D = A + 4
- B + C = D + 3
Solve
- C = D + 2
- A = D + 1
- A = B + 2
Solve
- B + D = A + C
- D ≠ 2
- A ≠ 4
- C ≠ 4
- A ≠ 3
- B ≠ 4
Solve
- C + D = A + B
- D ≠ 2
- A ≠ 2
- C ≠ 2
- D ≠ 4
Solve
- 2C = A + D
- B > C
- 2A = B + C
Solve
- 2B = C + D
- B > A
- 2C = A + B
Solve
- B + D = C
- B + C ≤ 5
- C > A
Solve
- A + C = 6
- A + B + D = 8
- A + B = 5
Solve
- if A + D ≤ 6 then B < 1
- if C ≤ 2 then A + B ≤ 4
Solve
- if B ≤ 3 then C ≤ 2
- if D ≠ 1 then A + B ≤ 4
- if A + D ≤ 5 then B < 2
Solve
- C + D ≤ 6 if and only if A > 1
- D < 1 if and only if B ≤ 2
- D ≠ 4 if and only if A ≤ 3
- A + D ≤ 3 if and only if B ≠ 3
Solve
- A + B ≤ 7 if and only if C + D ≤ 3
- C < 3 if and only if A ≠ 3
- A ≠ 2 if and only if D ≤ 1
Solve
- A + B = 5
- C = BC
- B + C = 4
Solve
