Text this: J-type random 2, 3 satisfiability a higher-order logical rule in discrete hopfield neural network