Finally, the fried chicken proof you’ve been searching for

Russell and I text each other…rather frequently. Since we’ve been doing this sub-blog (which is a total blast!), a continual source of texting delight for us are the search terms that people use to find us. What made that person search for that? What made them click through to us? What did they make of our post when they did? Usually these involve some outlandishly entertaining misspelled sexual proclivity.

A recent search term was a little different. It was, “articles proving popeyes is better than kfc.” And Russell and I wondered, as usual, how this person ended up on our blog. And then we wondered: proof? The person wants proof? Not just a discussion of various merits ending in an opinion? I mean, I’m an anti-relativist, but that’s hardcore even for me.

While I’ve never eaten at a Popeye’s and only once at a KFC, proofs are part of my line. So Russell suggested that I prove it logically. And so, if anyone wants proof that Popeye’s is better than KFC, here it is. NB: a valid proof only. For a sound proof, you’ll have to keep googling.

[Updated to reflect Mike Schilling’s corrections – thanks, Mike!]

Predicates:

R = is a restaurant
O = uses Original Recipe
S = uses 11 herbs and spices
F = serves food that is Finger-lickin’ good
C = is Cajun flavored
G = is Good Ba-You
B = better than
E = serves crawfish etouffee
U = serves frankfurters
N = is a nightclub
P = Popeye’s
K = KFC

Premises:

1. (x) ((Rx & Ox & Sx) –> Fx)
2. (x) ((Rx & Cx) –> Gx)
3. (x) ((Rx & Ex) –> Cx)
4. (x) (y) (((Rx & Gx) & (Ry & Fy)) –> Bxy)
5. (x) (Gx –> ~Fx)
6. Ep V Up
7. ~Up
8. Rp V Np
9. ~Np
10. Rk V Nk
11. ~Nk
12. Ek V Ok
13. ~Ek
14. Sk V Uk
15. ~Uk

To prove: Bpk

16. (y) (((Rp & Gp) & (Ry & Fy)) –> Bpy)    UI 4
17. ((Rp & Gp) & (Rk & Fk)) –> Bpk             UI 4
18. Ep                                                                    DS 6,7
19. Rp                                                                    DS 8,9
20. Rp & Ep                                                         Conj. 18,19
21. (Rp & Ep) –> Cp                                         UI 3
22. Cp                                                                    MP 20, 21
23. Rp & Cp                                                         Conj. 19, 22
24. (Rp & Cp) –> Gp                                         UI 2
25. Gp                                                                    MP 23, 24
26. Rp & Gp                                                         Conj. 19, 25
27. Rk                                                                  DS 10, 11
28. Ok                                                                  DS 12, 13
29. Sk                                                                    DS 14, 15
30. (Rk & Ok & Sk) –> Fk                              UI 1
31. Rk & Ok & Sk                                                Conj. 27, 28, 29
32. Fk                                                                    MP 30, 31
33. Gp –> ~Fp                                                    UI 5
34. ~Fp                                                                 MP 25, 33
35.  ~Rp V ~Fp                                                      DI 34
36. ~ (Rp & Fp)                                                  DM 35
37. ~ (Rp & Gp) V ~(Rp & Fp)                          DI 36
38. ~((Rp & Gp) & (Rp & Fp))                       DM 37
39. Rk & Fk                                                         Conj. 27, 32
40. (Rp & Gp) & (Rk & Fk)                              Conj. 26, 39
41. Bpk                                                                  MP 17, 40

[Cross-posted at main page]