you are not an alligator if you do not eat animals
either you eat animals or you are not an alligator 


you are not A if you do not E
!A if !E
if !E then !A
!!E || !A
E || !A
either you eat animals or you are not an alligator 
            
a = you are an alligator 
e = you eat animals

reminder: "if x then y" is "!x || y"
+













either it is wet or it is dry, and the sun is shining somewhere
            wet or dry, and sun
            wet xor dry, and sun
            (wet xor dry) and sun

sun
(wet xor dry) and sun
wet xor (!dry or sun)
(wet xor !wet) and sun  === True and sun === sun




if it is not the case that I have not both eaten and slept then I will not weep or moan