В данном случае человек опирается на закон двойного отрицания в логике. Этот закон гласит, что если отрицать отрицание какого-либо утверждения, то получается исходное утверждение. То есть, «неверно, что трава не зеленая» эквивалентно утверждению «трава зеленая».