How to translate this statement to First Order Logic?

Question

“Thus there exists a pet in this house being a cat or a dog”

I am unsure of how this statements should be translated.

Answer 1

Let $ P(x) $ denote the property that $x$ is a pet in the house , and let $C(x)$ and $D(x)$ be the properties that $x$ is a cat or dog respectively, then your sentences translate to $$ \forall x (P(x) \to (C(x) \lor D(x)))$$ and $$ \to \exists y(P(y) \land(C(y) \lor D(y))) $$