Formalize the following argument by using the given predicates and then rewriting the argument as a numbered sequence of statements. Identify each statement as either a premise, or a conclusion that follows according to a rule of inference from previous statements. In that case, state the rule of inference and refer by number to the previous statements that the rule of inference used. Dogs bark at cats. Max is a dog. Moonbeam is a cat. Therefore, Max barks at Moonbeam. Predicates: B(x,y)=\"x barks at y\". D(x) = \"x is a dog\". C(x) =\"x is a cat\". The common domain of discourse is all animals. Part 2: Analyze the following argument by assigning appropriate propositional variables, writing the argument formally in terms of those variables and identifying the premises and basic argument forms. There is more than one solution. Do not give the solution that exclusively uses modus ponens. Do not use predicates and quantifiers. Your dog plays. When she plays, she gets dirty. When she is dirty, she needs a bath. Therefore, your dog needs a bath