a rust engine for Sentential (Propositional) Logic. Will later be expanded to deal with predicate logic as well.