static void RunExample2()
{
List <string> kb = new List <string>()
{
"A=>G", "AG=>F", "C", "C=>A", "FC=>H", "H=>F", "HF=>M", "MA=>B"
};
string q = "B";
bool success = PropositionalLogicProofer.ForwardChaining(kb, q);
Console.WriteLine(success);
}
static void RunExample1()
{
List <string> kb = new List <string>()
{
"A", "B", "AB=>L", "AP=>L", "BL=>M", "LM=>P", "P=>Q"
};
string q = "Q";
bool success = PropositionalLogicProofer.ForwardChaining(kb, q);
Console.WriteLine(success);
}