I'm trying to prove logically that Jerry Lewis is somehow
responsible for the war in Iraq.

** Definitions: **

F: A person is French

S: A person is Saddam Hussein

A: A person hates Americans

B: A person bathes once a week

W: A person wears berets

L: A person loves Jerry Lewis

E: "Exile" Operator. E(x,y) --> (x ^ y)

** Premises: **

P1: F-->(A ^ B ^ W ^ L)

P2: S-->(~F)

P3: S-->(A ^ B ^ W)

P4: E(S,F) --> (S ^ F)

P5: ~F --> ~L

1. F --> (A ^ B ^ W ^ L) (* Premise P1 *)

2. S --> ~ (A ^ B ^ W ^ L) (* Premise P2 *)

3. S --> (~A) v (~B) v (~W) v (~L) (* 2, DeMorgan's Law *)

4. S --> A (* Premise P3, Simplification *)

5. S --> B (* Premise P3, Simplification *)

6. S --> W (* Premise P3, Simplification *)

7. S --> ~L (* 3-6 *)

8. ~L --> ~E(S,F) (* 7, Premise P4 *)

** or **

1. S --> ~F (* Given *)

2. S --> ~L (* Premise P5 *)

3. E(S,F) --> (S ^ ~L) (* Contradiction *)

** Conclusion: ** ~E(S,F) (* 7, 8 *)

I haven't attempted to write logical proofs in a while,
so this is sloppy. Plus, it's all nonsense anyways.
But there you have it. A pseudo-proof that because only
the French love Jerry Lewis, he's the reason why Saddam
Hussein couldn't be exiled to France and thus avert war.