Is the following argument valid or fallacy?

Is the following argument valid or fallacy?

Formalize your argument by using appropriate predicates and explain your answer. 2 premise MAT 243 Week 3/15 Written Homework Dogs bark at cats. Lions are not dogs. Ramsey is a lion. Therefore, Ramsey does not bark at cats. Predicates: B(x)="x barks at cats, D(x)=x is a dog", L(x)=" x is a lion". The domain of discourse is all animals.

I am pretty sure it is a fallacy of denying hypothesis but am not sure how to do it with predicate logic step by step.

Please help me understand