(-x3 V -x3) A (-x4 V x2) A (-x2 V x4) A (x2 V x3) A (x1 V -x1) A (-x4 V -x4) A (x2 V -x1) A (-x2 V x2)  FALSE
-3 -3
-4 2
-2 4
2 3
1 -1
-4 -4
2 -1
-2 2