Whenever three terms are so related to one another that the last is in the middle as in a whole, and the middle is either in, or not in, the first as in a whole, the extremes must be related by a perfect deduction.