Southern Bantu Deductions language family is for example Southern Bantu ⇐ (Southern Bantu is a language family), (is a is inverse of is for example) Xhosa is subclass of Southern Bantu ⇐ (Xhosa is subclass of Nguni), (Nguni is subclass of Southern Bantu), (is subclass of is a transitive relation)