/// <inheritdoc/>
public void MarkInvalidInferrence(Configuration configuration, Theorem theorem, InferenceRule inferenceRule, Theorem[] negativeAssumptions, Theorem[] possitiveAssumptions)
{
}
/// <summary>
/// Initializes a new instance of the <see cref="CustomInferenceData"/> class.
/// </summary>
/// <param name="rule">The used inference rule.</param>
public CustomInferenceData(InferenceRule rule)
: base(InferenceRuleType.CustomRule)
{
Rule = rule ?? throw new ArgumentNullException(nameof(rule));
}