Given: P ⊆ Q

Q ⊆ (S ∩ T)

S ⊆ (R ∪ T^c)

x(sub)1 ∈ P

Use predicate calculus to prove x(sub)1 ∈ R.

I can break it down like so:

Image - TinyPic - Free Image Hosting, Photo Sharing & Video Hosting

However I'm really bad at predicate calculus and not sure how to say that.

Anybody?