Variables: a, b, c, d
Terms:
"0010">1
7>1
1234>1
"0123">1