check the confluence of: and(and(and(a, b), and(c, d)), and(and(e, f), and(g, h))) -><- not(or(or(or(not(a), not(b)), or(not(c), not(d))), or(or(not(e), not(f)), or(not(g), not(h)))))