Discrete mathmatics predicates.

1. Convert the argument below into predicate calculus, using the predicates C(x, y) to represent x is a cousin of y and L(x, y) to represent x livesin y. James is my cousin, and James does not live in Miami. So, I have a cousin who doesnt live in Miami. Therefore, not everyone has a cousin in Miami.

2. Describe the error in this argument.

Can someone explain in detail?

My solution so far:

1.

A) C(james,me) AND L("James, Miami")

B) ~ L("cousin","Miami")

C) Therefor, universal x C("cousin", x) AND ~ L("cousin","Miami")

2.

Logical arguments by line

This line is our premise

This line uses simplification to say not L, via line A

This line goes to universal generalization, this is our logical error.

I'm fairly confident in A and B, but unsure of C. Can someone please help?

THanks in advance