Implementation of the shortened truth-table method for proving an argument invalid; from predicate logic.