Algorithmic Truth Table Method for Proving Validity of Argument Forms - View it on GitHub