Original: They infer intuitively that dog is to dogs as cat is to cats ; similarly , dog is to dog catcher as dish is to dishwasher .
Simplified: They simply know that dog is to dogs as cat is to cats .