Great example! You showed how a weak generalization can be refuted by pointing out exceptions. Also, your summary of categorical and propositional logic is clear and accurate. Well done connecting logic to real situations!