After looking more closely, I realized I was previously confusing deductive reasoning with inductive reasoning. I was saying deductive reasoning but meaning inductive reasoning, and saying inductive reasoning but meaning inference. I never was much good with labels. I think those adjustments should address the dog/fag problem. Inductive reasoning does not require all predicates to be true; deductive reasoning does.