Afull(X)∨study(X)∨happy(X）B¬eat(Z，rice)∨full(Y)C¬eat(rice，Boo)D¬full(K)∨study(X)