public Fact(Variable v, string weight, Rightly truly) : this(v, weight) { this.Truly = truly; }
public Fact(Variable v, string weight) { this.V = v; this.Weight = weight; truly = Rightly.Unknown; }