Working on example from Angluin's paper, processing counterexamples in case of inconsistency.