elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/saturation/inferences/AbstractDisjointSubsumerInference.java
public final DisjointSubsumer getConclusion(
			DisjointSubsumer.Factory factory) {
		return factory.getDisjointSubsumer(getDestination(),
				getDisjointExpressions(), getPosition());
	}
public final DisjointSubsumer getConclusion(
			DisjointSubsumer.Factory factory) {
		return factory.getDisjointSubsumer(getDestination(),
				getDisjointExpressions(), getPosition());
	}
@param factory
the factory for creating conclusions

@return the conclusion produced by this inference