i tried FC using the knowledge which has NumberNodes that are associated with the ConceptNodes through HebbianLink. I applied deduction rule and got an empty SetLink.
(ConceptNode "Socrates" (stv .001 0.9))
(ConceptNode "Einstein" (stv .001 0.9))
(ConceptNode "Peirce" (stv .001 0.9))
(ConceptNode "man" (stv .01 0.9))
(ConceptNode "human" (stv .02 0.9))
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "Socrates")
(ConceptNode "man"))
(HebbianLink (stv 0.9 0.9)
(ConceptNode "Socrates")
(ConceptNode "man")
(NumberNode "8787"))
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "Einstein")
(ConceptNode "man"))
(HebbianLink (stv 0.9 0.9)
(ConceptNode "Einstein")
(ConceptNode "man")
(NumberNode "8787"))
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "Peirce")
(ConceptNode "man"))
(HebbianLink (stv 0.9 0.9)
(ConceptNode "Peirce")
(ConceptNode "man")
(NumberNode "8787"))
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "man")
(ConceptNode "human"))
(HebbianLink (stv 0.9 0.9)
(ConceptNode "man")
(ConceptNode "human")
(NumberNode "8787"))
(InheritanceLink (stv 0.9 0.9)
(ConceptNode "Einstein")
(ConceptNode "violin-players"))
(HebbianLink (stv 0.9 0.9)
(ConceptNode "Einstein")
(ConceptNode "violin-players")
(NumberNode "8787"))