Numerically exceptive logic : a reduction of classical syllogism / Wallace A. Murphree