b) Use the resolution method of propositional logic to show that
the following set of clauses is unsatisfiable:
{{C, ¬C, A}, {C, ¬A}, {¬B, ¬A}, {¬B, C}, {¬C}, {A, B}}
spam lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor creativity violence