I need help with part B.

Part A Let P(x), Q(x), and R(x) be the statements x is a mammal, x is warm-blooded," and "x is an vertebrate, respectively. Suppose that the domain for x consists of all animals. Express each of these statements using quantifiers, logical connectives, and P(x), Q(x), and R(x). All mammals are warm-blooded. Some vertebrates are not warm-blooded. +x (P(x) = Q(x)) I 3X (R (X) 17 Q4)) 3x (RIX)^7 PCX)) Some vertebrates are not mammals. Part B Use the rules of inference to show that (c) follows from (a) and (b). Clearly state which rules you use at each step