Rule

constructor(identifier: RuleIdentifier, premises: List<Term>, conclusion: Term, strict: Boolean = false)