transform every fact into CNF and then apply Resolution to prove the statement

by refutation.

Problem 1: Consider the following facts regarding Easter costumes party.

1. Everyone who feels warm either is drunk, or wears a bunny costume.

2. Every CS student wears either a bunny costume or an egg costume

3. Every AI student is a CS student.

4. No AI student wears a bunny costume.

5. Every CS student feels warm.

Prove that every AI student is drunk

Hint: Use

BC and EC as constants for Bunny Costume and Egg Costume

Wear(x,y) : binary predicate for x wears y

Student(x,y): binary predicate for x is a student of y

Warm(x): unary predicate for x feels warm

D(x): unary predicate for x is drunk