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.

"And death is at your doorstep
And it will steal your innocence
But it will not steal your substance
But you are not alone in this"

“My ability to turn good news into anxiety is rivaled only by my ability to turn anxiety into chin acne.” - Tina Fey