Ok, so I'm taking a Symbolic Logic class this semester, and everyone pretty much failed the previous exam, so he's letting us redo it at home, and he'll curve the test if we get the answers right. Anyhow. I've been staring at the final problem since Friday night, and I was getting NOWHERE. I literally tried every conceivable option. Over and over again.
So, I decided to pretty much change the rules of Symbolic Logic.
The theorem finally worked.
I seriously don't know how anyone got the problem right otherwise.