is false, "not-

or

" is true, but is useless for inference, which requires that

should be true. Whenever

is already known to be true, "not-