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());
	}
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
@param factory the factory for creating conclusions