A valid syllogistic form automatically proves each premise true.

Kinds of Argument: Syllogism, Premises, Conclusion and Three Terms