please help with the following problem

Consider the following statements:

Every file in MyDocuments is encrypted or hidden. Every encrypted

file in MyDocuments is secure. Every secure file in MyDocuments

contains secrets. There is a file in MyDocuments which does not contain

secrets. Therefore there is a file in MyDocuments which is hidden.

Choose an appropriate universal set and collection of predicates, and express this argument in the language of predicate calculus.