using hermit reasoner