Corrected typos. Note that three premises require TrinaryInfC instead of BinaryInfC, which is for two, or UnaryInfC, which typesets for one premise.