Fixed belief setup subsumption. Added Example 12 to unit test.

Fixed that belief setup subsumption increased plausibility until the
clause is subsumed. Plausibility should only increase as long as the
setup is inconsistent.

Example 12 from the paper works.