Why is HermiT or Pellet Reasoner for Protegev5.5 is not detecting inconsistency in Ontology

Question

I have used an object property "O" to relate Class "A" with Class "B". I also have instance "a" and "b" of classes "A&