An investigation of no-go theorems in hidden variable models of quantum mechanics