/// <summary>
/// Set "niedopytywalne" fakty IsKnown to false
/// </summary>
/// <param name="rules"></param>
private void SetUnknownFacts(List <Rule> rules)
{
var unknownFacts = Inference.factsThatAreAlsoConclusions(rules);
unknownFacts.Select(uf =>
{
uf.IsKnown = false;
uf.IsSet = false;
return(uf);
}).ToList();
}
