The Automated Theorem Generator is a tool based on the Triangle Standard Contradiction Separation. It can automatically generate theorems from logical literals or formulas provided by users. The ...