Before (dis)proof, how can you determine the conclusion of given collection of long complicated premises?
Without computers, how can you conjecture the (in)validity of a long convoluted argument in Predicate Logic?