Please help in proving this argument in discrete mathematics (computer science)

Prove or refute the following argument using predicate calculus: Among comic book fans, I have observed that if you like Superman, then you don't also like the X-Men. In fact, I think that nobody likes both Superman and the X-Men. You will need to carry out the following tasks: 1. Create symbolic predicates. 2. Use the predicates to make compound propositions. You will need to assign or quantify the variables to make the predicates into propositions. 3. Express the argument in tableau form. 4. Construct a symbolic proof that establishes the validity of the argument