Cosmological lower bound on the circuit complexity of a small problem in logic