All the girls in the gym have long hair. Margaret has short hair. Therefore, Margaret is not in the gym. This type of reasoning is _______