(1) "All the policemen on this beat sup with our cook; (2) No man with long hair can fail to be a poet; (3) Amos Judd has never been in prison; (4) Our cook's 'cousins' all love cold mutton; (5) None but policemen on this beat are poets; (6) None but her 'cousins' ever sup with our cook; (7) Men with short hair have all been in prison." Univ. "men"; a = Amos Judd; b = cousins of our cook; c = having been in prison; d = long-haired; e = loving cold mutton; h = poets; k = policemen on this beat; l = supping with our cook pg089 We now have to put the proposed Premisses into _subscript_ form. Let us begin by putting them into _abstract_ form. The result is (1) "All k are l; (2) No d are h'; (3) All a are c'; (4) All b are e; (5) No k' are h; (6) No b' are l; (7) All d' are c." And it is now easy to put them into _subscript_ form, as follows:-- (1) k_{1}l'_{0} (2) dh'_{0} (3) a_{1}c_{0} (4) b_{1}e'_{0} (5) k'h_{0} (6) b'l_{0} (7) d'_{1}c'_{0} We now have to find a pair of Premisses which will yield a Conclusion. Let us begin with No. (1), and look down the list, till we come to one which we can take along with it, so as to form Premisses belonging to Fig. I. We find that No. (5) will do, since we can take k as our Eliminand. So our first syllogism is (1) k_{1}l'_{0} (5) k'h_{0} .'. l'h_{0} ... (8) We must now begin again with l'h_{0} and find a Premiss to go along with it. We find that No. (2) will do, h being our Eliminand. So our next Syllogism is (8) l'h_{0} (2) dh'_{0} .'. l'd_{0} ... (9) We have now used up Nos. (1), (5), and (2), and must search among the others for a partner for l'd_{0}. We find that No. (6) will do. So we write (9) l'd_{0} (6) b'l_{0} .'. db'_{0} ... (10) Now what can we take along with db'_{0}? No. (4) will do. (10) db'_{0} (4) b_{1}e'_{0} .'. de'_{0} ... (11) pg090 Along with this we may take No. (7). (11) de'_{0} (7) d'_{1}c'_{0} .'. c'e'_{0} ... (12) And along with this we may take No. (3). (12) c'e'_{0} (3) a_{1}c_{0} .'. a_{1}e'_{0} This Complete Conclusion, translated into _abstract_ form, is "All a are e"; and this, translated into _concrete_ form, is "Amos Judd loves cold mutton." In actually _working_ this Problem, the above explanations would, of course, be omitted, and all, that would appear on paper, would be as follows:--