First Order Logic: Verify (valid or not valid) using resolution the following reasoning:

Every student in the SCIS is a CS student or an IT student. Therefore there is a student in the SCIS being a CS student or an IT student

Note:To model this problem, please use the following predicates:

S(x): x is a student;

SCIS(x): x is in SCIS;

CS(x): x is CS student;

IT(x): x is an IT student