... Bob and tallness is one of predication, not implication -- ... />
This misuses of both "valid" and "sound". Valid ... (there's also another type of soundness that applies to ... universal sentence, which is different from existential sentences, like ...