![Bed Twemoji](/j-logic/attachments/thumbnail.svg) [Image credit: Twitter Twemoji](class:credit)


If P then Q, P, therefore Q

If P and R then S, P, not R, therefore not S

If P or T then U, P, not T, therefore U

If (Q or not S) and U then V, and as established above Q, not S, U, therefore V

But how do we turn the messy analog world, into the pristine P, Q, R, S, T, U, V?

P is "You were in Zoe's bedroom."

Q is "You lied about your location"

R is "You were clothed."

S is "You were just friends with Zoe"

T is "Zoe was in your bedroom."

U is "You were intending, or succeeding, in cheating on me."

V is "You are dead to me."

### Notes

This was written in 15 minutes during a Joy of Writing meetup.