Choose the best symbolization.

Everything should be made of CHOCOLATE.
1. ∀xCx
2. ∃xCx
3. Mc
4. Ce
Godzilla is a MONSTER.
1. ∀xMx
2. ∃xMx
3. Mg
4. Gm
Someone SCREAMS.
1. ∃xSx
2. ∀xSx
3. Ss
4. Sx
REPTILES exist.
1. ∃xRx
2. ∀xRx
3. Re
4. Rx
Bullwinkle is a MOOSE.
1. ∃xMx
2. ∀xMx
3. Mb
4. Bm
All of the GOLDFISH have SUPERPOWERS.
1. ∀x(Gx→Sx)
2. ∀x(Gx&Sx)
3. ∃x(Gx&Sx)
4. ∃x(Gx→Sx)
Every KITTEN is POSSESSED by evil.
1. ∀x(Kx→Px)
2. ∀x(Kx&Px)
3. ∀x(Px→Kx)
4. Pk
Each of the BOHEMIANS sings a RHAPSODY.
1. ∀x(Bx→Rx)
2. ∀x(Bx&Rx)
3. Br
4. Rb
Some SUPERMODELS are wearing HATS.
1. ∃x(Sx&Hx)
2. ∃x(Sx→Hx)
3. Hs
4. Sh
There is a DEMON at the LAUNDROMAT.
1. ∃x(Dx&Lx)
2. ∃x(Dx→Lx)
3. Dl
4. Ld
There are POLYGONS with more SIDES than I can count.
1. ∃x(Px&Sx)
2. ∃x(Px→Sx)
3. ∀x(Px→Sx)
4. ∀x(Px&Sx)
At least one of the GODS believes in HUMANS.
1. ∃x(Gx&Hx)
2. ∀x(Gx→Hx)
3. Hg
4. ∀x(Gx&Hx)
Houdini was a MAGICIAN, but not a LOGICIAN.
1. Mh&~Lh
2. H(m&~l)
3. (M&~L)h
4. Hm&~Hl
Ken and Barbie have PLASTIC smiles.
1. Pk&Pb
2. ∀x((KxvBx)→Px)
3. ∃x(Kx&Bx&Px)
4. ∃x((KxvBx)→Px)
The Eiffel Tower is a GRAND MONUMENT in PARIS.
1. Ge&Me&Pe
2. ∀x(Ex→(Gx&Mx&Px))
3. ∃x(Ge&Me&Pe)
4. Eg&Em&Ep
All of the LIES about her SALAMANDER are MALICIOUS and AMPHIBOLOUS.
1. ∀x((Lx&Sx)→(Mx&Ax))
2. ∀x(Lx&Sx&Mx&Ax)
3. ∃x(Lx&Sx&Mx&Ax)
4. ∃x((Lx&Sx)→(Mx&Ax))
Every CRUEL THOUGHT is a BLEMISH on the SOUL of existence.
1. ∀x((Cx&Tx)→(Bx&Sx))
2. ∀x(Cx&Tx&Bx&Sx)
3. ∃x(Cx&Tx&Bx&Sx)
4. ∃x((Cx&Tx)→(Bx&Sx))
Everyone who LOVES her is despicably ROTTEN, hopelessly SINISTER, wildly DERANGED, and BALD.
1. ∀x(Lx→(Rx&Sx&Dx&Bx))
2. ∀x(Lx&Rx&Sx&Dx&Bx)
3. ∃x(Lx&Rx&Sx&Dx&Bx)
4. ∃x(Lx→(Rx&Sx&Dx&Bx))
Everything that HAPPENS is either PLANNED by God, a RESULT of free human choices, a MEANINGLESS random event, or a DREAM in the mind of the eternal superbunny.
1. ∀x(Hx→(PxvRxvMxvDx))
2. ∃x(Hx→(PxvRxvMxvDx))
3. ∃x(Hx&(Px&Rx&Mx&Dx))
4. ∃x(Hx&(PxvRxvMxvDx))
Some MONSTERS are neither FRIENDLY, TRUSTWORTHY, nor CONSCIENTIOUS about personal hygiene.
1. ∃x(Mx&~Fx&~Tx&~Cx)
2. ∃x(Mx&~(Fx&Tx&Cx))
3. ∀x(Mx→(~Fx&~Tx&~Cx))
4. ∃x(Mx→~(Fx&Tx&Cx))
5. ∃x(Mx&(~Fx&~Tx&~Cx))
6. Ex(Mx&(~Fx&~Tx&~Cx))
There's a SMALL DARK CLOUD on the HORIZON, shaped like a BASKET of baguettes.
1. ∃x(Sx&Dx&Cx&Hx&Bx)
2. ∃x((Sx&Dx&Cx&Hx)→Bx)
3. ∀x(Sx&Dx&Cx&Hx&Bx)
4. ∀x((Sx&Dx&Cx&Hx)→Bx)
There is a SONG I've never HEARD that has neither WORDS nor MUSIC.
1. ∃x(Sx&~Hx&~Wx&~Mx)
2. ∃x(Sx&~Hx&~(Wx&Mx))
3. ∃x(Sx&~Hx&(~Wxv~Mx))
4. ∃x((Sx&~Hx)→~(Wx&Mx))
At least one MONSTER with FANGS or CLAWS will emerge from the DARKNESS and steal our SOULS or our credit card INFO.
1. ∃x(Mx&(FxvCx)&Dx&(SxvIx))
2. ∃x(Mx&Fx&Cx&Dx&Sx&Ix)
3. ∃x((Mx&(FxvCx))→(Dx&(SxvIx)))
4. ∀x((Mx&(FxvCx))→(Dx&(SxvIx)))
Janet SMILED, but she did not LIKE the jello, and she THOUGHT the pudding was dreadful.
1. Sj&~Lj&Tj
2. ∀x(Sx&~Lx&Tx)
3. ∃x(Sx&~Lx&Tx)
4. Js&~Jl&Jt
Neither Socrates, Plato, nor Aristotle wore a FEDORA, but Nietzsche had a BEANIE.
1. ~Fs&~Fp&~Fa&Bn
2. ~(Fs&Fp&Fa)&Bn
3. (~Fsv~Fpv~Fa)&Bn
4. ∀x(~FxvBx)
Texas is LARGE, HOT, and full of COWBOYS, but Austin is WEIRD.
1. Lt&Ht&Ct&Wa
2. ∀x(Lx&Hx&Cx&Wx)
3. ∃x(Lx&Hx&Cx&Wx)
4. Tl&Th&Tc&Aw
All of the CHAIRS and SOFAS in the BROTHEL were RED, FURRY, and vaguely TERRIFYING.
1. ∀x(((CxvSx)&Bx)→(Rx&Fx&Tx))
2. ∀x((Cx&Sx&Bx)→(Rx&Fx&Tx))
3. ∃x(Cx&Sx&Bx&Rx&Fx&Tx)
4. ∀x(Cx&Sx&Bx&Rx&Fx&Tx)
All of the brightly COLORED BIRDS and INSECTS DAZZLE our eyes, WARM our hearts, and NIBBLE our sandwiches.
1. ∀x((Cx&(BxvIx))→(Dx&Wx&Nx))
2. ∀x((Cx&Bx&Ix)→(Dx&Wx&Nx))
3. ∃x(Cx&Bx&Ix&Dx&Wx&Nx)
4. ∀x((Dx&Wx&Nx)→(Cx&Bx&Ix))
Every BOOK and MOVIE about TIME travel or giant RATS is non-SENSICAL.
1. ∀x(((BxvMx)&(TxvRx))→~Sx)
2. ∀x((Bx&Mx&(TxvRx))→~Sx)
3. ∀x((Bx&Mx&Tx&Rx)→~Sx)
4. ∀x(((BxvMx)&Tx&Rx)→~Sx)
Only CLOSERS can DRINK coffee.
1. ∀x(Dx→Cx)
2. ∀x(Cx→Dx)
3. ∃x(Dx&Cx)
4. ∀x(Cx&Dx)
Only BIOLOGISTS and COMMUNISTS dislike JELLO.
1. ∀x(~Jx→(BxvCx))
2. ∀x(~Jx→(Bx&Cx))
3. ∀x((Bx&Cx)→~Jx)
4. ∀x((BxvCx)→~Jx)
Only HURRICANES and MERMAIDS frighten PIRATES.
1. ∀x(Px→(HxvMx))
2. ∀x(Px→(Hx&Mx))
3. ∀x((Hx&Mx)→Px)
4. ∀x((HxvMx)→Px)
If Janet does not KNOW and Irene does not CARE, then Brenda will put TEQUILA in the jello.
1. (~Kj&~Ci)→Tb
2. (~Jk&~Ic)→Bt
3. ~(Kj&Ci)→Tb
4. (~Jkv~Ic)→Bt
Rocky will not be IMPRESSED unless Bullwinkle PULLS a rabbit from the hat.
1. ~IrvPb
2. ~(IrvPb)
3. ~Irv~Pb
4. Pb→~Ir
Neither Socrates nor Plato will COMPLAIN unless Aristotle is both DRUNK and HORDING the baklava.
1. (~Cs&~Cp)v(Da&Ha)
2. ~(Cs&Cp)v(Da&Ha)
3. ~(Cs&Cp)v~(Da&Ha)
4. ~(Da&Ha)→~(Cs&Cp)
Only LEPRECHAUNS and OGRES that dwell in my IMAGINATION ride UNICYCLES in cathedrals while juggling WEASELS.
1. ∀x((Ux&Wx)→((LxvOx)&Ix))
2. ∀x((Ux&Wx)→(Lx&Ox&Ix))
3. ∀x((Lx&Ox&Ix)→(Ux&Wx))
4. ∀x(((LxvOx)&Ix)→(Ux&Wx))
Every DOG and CAT that has both FLEAS and MANGE HOWLS into the night.
1. ∀x(((DxvCx)&Fx&Mx)→Hx)
2. ∀x((Dx&Cx&Fx&Mx)→Hx)
3. ∀x(((DxvCx)&(FxvMx))→Hx)
4. ∀x((Dx&Cx&(FxvMx))→Hx)
Only those who cannot SEE or HEAR remain CALM or RATIONAL.
1. ∀x((CxvRx)→(~Sx&~Hx))
2. ∀x((~Sxv~Hx)→(CxvRx))
3. ∀x(~(SxvHx)→(CxvRx))
4. ∀x((CxvRx)→(~Sxv~Hx))
5. ∀x((CxvRx)→~(SxvHx))