Consider the following interpretation in predicate logic: Domain = { fluffy, thumper, joe, rover, bill, duke, louie, shy, happy } Predicates: R= rabbit, and is true for fluffy, thumper, joe A= animal, and is true for fluffy, thumper, joe, rover, bill, duke, louie L= looks, and is true for (fluffy, happy), (thumper, shy), (thumper, happy), (rover, shy), (joe, shy), (joe, happy), (duke, happy), (louie, happy) Decide whether each of the following formulae is true under this interpretation. xy(R(x)L(y,happy))x(A(x)L(x,happy))x(A(x)R(x)L(x,shy))x(L(x,shy)R(x))x(R(x)L(x,happy))