Resolve "Better message for inconsistent background along with test cases"

Closes #94 (closed)

added 2 commits

• edaccb36 - Fix: initial diagnosis model consists of observable lists without diagnosis model as observer
• a8a73b70 - Closes #94 (closed): Show an information about inconsistency among correct axioms.

Compare with previous version

added 2 commits

• e325f297 - Rewording of inconsistency information
• e7ba0c08 - Added Testcase for Issue #94 (closed)

Compare with previous version

unmarked as a Work In Progress

mentioned in commit d1551c3d

merged