To prove that an atom is false using negation as failure, you try to prove that the atom is true. If you fail in that proof, you conclude that the atom is false. If you succeed in proving the atom true, you conclude that it is not false.