Is the following example correct about whether an inference algorithm is sound and complete?
Suppose we have needles a, b, c in a haystack, and have also an inference algorithm that is designed to find needles.
sound - Only needles a, b and c are obtained.
complete - Needles a, b and c are obtained. Other hay may also be obtained.