Input: 1 2 3
Gadget:
1.00: 1 4       (Clause)
1.00: 2 4       (Clause)
1.00: 3 4       (Clause)
1.00: -4        (Clause)