Heh, this is funny. I was doing my logic homework when I read this. Surprisingly, the last two posts contain a form that I've been working with in this assignment. So I just translated Rao's and Ninjap00's posts into syllogistic formulae.
All P is R!
[/boring]