Farmer John has $ 5$ cows, $ 4$ pigs, and $ 7$ horses. How many ways can he pair up the animals so that every pair consists of animals of different species? (Assume that all animals are distinguishable from each other.)

Let's think step by step and output the final answer within \boxed{}.
user