Logic riddle

[fleet lichen]

\begin{problem} Aki, Maxi, Bauzi and Knirps are (not in the correct order) a dog, cat, boy and girl. \begin{enumerate} \item If Aki is not the boy and Bauzi not the girl, then Knirps is the dog. \item If Maxi is not the cat, then, if Aki is not the girl, Bauzi is the dog. \item Atleast one of the following is true: Knirps is the cat, Maxi is the boy, Aki is the dog. \item If neither Knirps nor Maxi is the girl, then Bauzi is the dog. \end{enumerate} Who is what? \end{problem}

[grizzled lagoon]

1. Ask your question and show the work you've done so far. If you've posted a screenshot of a question, specify which part you need help with.
2. Wait patiently for a helper to come along.
3. Once someone helps you, say thank you and close the thread with:

   +close
   

4. Feel free to nominate the person for helper of the week in #helper-nominations
5. Do not ping the mods, unless someone is breaking the rules.
6. If you're happy with the help you got here, and the server overall, you can contribute financially as well:

[fleet lichen]

From (3) and (4) follows that Bauzi is the dog, then from the contraposition of (1) it follows Aki is the boy and from (3) that Knirps is the cat and so Maxi the girl.

Is there a more brute-force way?

Like assuming something and deriving a contradiction

Assume that Maxi is the boy.

How do we derive a contradiction?