"For example, the following argument is clearly indirect: 'If all X were A, then, since P is an X, P would be A; but P is not A; therefore it is false that all X is A.'" . . . . .