Верно ли — если ни один муми-тролль не является снусмумриком, а все хемули муми-тролли..?

Если ни один муми-тролль не является снусмумриком, а все хемули являются муми-троллями, то ни один хемуль не является снусмумриком, верно ли утверждение?