Automatyzacja procesu wnioskowania logicznego z wykorzystaniem drzew prawdy