[spectraz]

I have now confirmed my valid interpretation of the first argument. I am slowly learning to identify patterns where the premises have switched places and where the negations have changed places, compared to the pre-given patterns of arguments I have studied before.

As for the second one, I was looking for a specific invalid pattern. I had only seen two patterns of invalid arguments in predicate logic prior to seeing the argument above, and I was looking for one of them to fit the argument I translated. It would be helpful to have some more examples of invalid arguments just in case I stumble upon these types of arguments in the future.