I'm using Jena Fuseki 3.13.1 (with `OWLFBRuleReasoner`), and I have asserted (uploaded) the following triples:

```
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix f: <http://vleo.net/family#> .

f:Bob f:hasWife f:Alice .
f:Bob f:hasWife f:Alice2 .
f:Alice2 f:hasHusband f:Bob2 .

f:hasWife a owl:FunctionalProperty .
f:hasWife a owl:InverseFunctionalProperty .
f:hasHusband owl:inverseOf f:hasWife .

```

Now, If I query and `ASK { f:Alice owl:sameAs f:Alice2 }`, I get true.

However, If I `ASK { f:Bob owl:sameAs f:Bob2 }`, I get false! Loading the same triples on another reasoner (owl-rl), I get the triple `f:Bob owl:sameAs f:Bob2` inferred.

What is happening here?