@Override
	protected void updateStronglyConnectedComponents_addConclusions(Literal literal) {
		Set<Rule> rules = theory.getRulesWithHead(literal);
		for (Rule rule : rules) {
			switch (rule.getRuleType()) {
			case STRICT:
				if (isLogInferenceProcess)
					getInferenceLogger().updateRuleInferenceStatus(rule.getOriginalLabel(), RuleType.STRICT,
							ConclusionType.DEFINITE_NOT_PROVABLE, literal, RuleInferenceStatus.DISCARDED);
				newLiteralFind_definiteNotProvable(literal, true);
				break;
			case DEFEASIBLE:
				if (isLogInferenceProcess)
					getInferenceLogger().updateRuleInferenceStatus(rule.getOriginalLabel(), RuleType.DEFEASIBLE,
							ConclusionType.DEFEASIBLY_NOT_PROVABLE, literal, RuleInferenceStatus.DISCARDED);
				newLiteralFind_defeasiblyNotProvable(literal, true);
				break;
			default:
			}
			// add the positively support record to the record set
			addRecord(new Conclusion(ConclusionType.POSITIVELY_SUPPORT, literal));
		}
	}