... , but it is an invalid argument.
For example ... neccessarily true. Still, the argument is clearly invalid from the ... same structures and generate an argument where the premises hold ... is why general truth preserving (valid) rules of inference can ...