Example of Soundness & Completeness of Inference
You have almost got it right, but your definition of soundness is not quite right, or perhaps too subtle.

I would say that the inference algorithm is sound if everything returned is a needle (hence some needles may be missed) and complete if all needles are returned (hence some hay may be returned too).