Another way to say "Horses are quadruped mammals" is "One quadruped mammal is a horse."