More Help Thinking About Categorical Logic
Think about this interpretation when doing these derivations.
Wx: x is a whale, Mx: x is a mammal, Fx: x is a fish, Hx: x is happy.
s: Shamu (the killer whale)
So, when you see '(^x)(Wx>Mx)' think "all whales are mammals". The rules are here.