C A R P E T

isn't that hard if you just use deductive logic