Abstract
Since the enlightening proofs of quantum contextuality first established by Kochen and Specker, and also by Bell, various simplified proofs have been constructed to exclude the non-contextual hidden variable theory of our nature at the microscopic scale. The conflict between the non-contextual hidden variable theory and quantum mechanics is commonly revealed by Kochen-Specker (KS) sets of yes-no tests, represented by projectors (or rays), via either logical contradictions or noncontextuality inequalities in a state-(in)dependent manner. Here we first propose a systematic and programmable construction of a state-independent proof from a given set of nonspecific rays in ³ according to their Gram matrix. This approach brings us a greater convenience in the experimental arrangements. Besides, our proofs in ³ can also be generalized to any higher dimensional systems by a recursive method.