public static boolean isConflict(ConclusionType ct1, ConclusionType ct2) {
		if (DEFINITE_PROVABLE.equals(ct1) && DEFINITE_NOT_PROVABLE.equals(ct2)) return true;
		if (DEFINITE_NOT_PROVABLE.equals(ct1) && DEFINITE_PROVABLE.equals(ct2)) return true;
		if (DEFEASIBLY_PROVABLE.equals(ct1) && DEFEASIBLY_NOT_PROVABLE.equals(ct2)) return true;
		if (DEFEASIBLY_NOT_PROVABLE.equals(ct1) && DEFEASIBLY_PROVABLE.equals(ct2)) return true;
		return false;
	}