Logika, logika!

(Chińczyki < {Hensel, Fomei}) != (Hensel = Fomei)