3. Consider the following definite Horn-clause KB:
\(\forall x \forall y \forall z \text{ Parent}(x,y) \& \text{ Parent}(x,z) \& y \neq z \implies \text{ Sibling}(y,z)\)
\(\forall x \forall y \forall z \text{ Sibling}(v,w) \& \text{ Parent}(w,u) \& \text{ Male}(u) \implies \text{ Nephew}(u,v)\)
\text{Parent(Bob, Mary)}, \text{Male(Bob)}, \text{Female(Mary)}, \text{Parent(Bob, Fred)}, \text{Male(Fred)}, \text{Parent(Mary, Tom)},
\text{Male(Tom)}, \text{Parent(Mary, Ann)}, \text{Female(Ann)}
Assume backward-chaining rule-based inference is used to try to answer the query: Nephew(s, Fred).