Verify (valid or not valid) using resolution the following reasoning: FIrst formalize resoning using predicates below and then using resolution(unification, substitution,resolvents) verify if it is valid or not (empty clause)

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