Silly Rabbit...

Okay, so its been a while. Missed me? Truth is, I've been busier than a pair of jumper cables at a used car dealership. Let's see, there have been trips to the Scottish highlands, a visit to the Netherlands, beginning chapter 3 of my dissertation. And let's not forget my discovery of the Higgs boson, successful formulation of a grand field theory and, most importantly, my proving conclusively that Trix really are for kids. And in case you're wondering, the formal proof looks like this:

1. ~(C) {premise (ex hypothesi)}

2. {(A) ^ (B)} > (C) {premise}

3. (Kids) > (B) {premise}

4. (Rabbits) > (A) {premise}

5. (Kids) {premise}

6. ~{(A) ^ (B)} {from (i) and (ii), by modus tollens}

7. {~(A) ∨ ~(B)} {from (vi), by De Morgan’s laws}

8. (B) {from (iii) and (v), by modus ponens}

9. ~(A){from (vii) and (viii), by disjunctive syllogism}}

   Therefore:

10. ~(Rabbits) {from (iv) and (ix), by modus tollens}

It's all quite complicated really, and I wouldn't want you troubling your pretty little head about the details. The conclusion of the formal proof is in line (x) which clearly states ~(Rabbits), which (in English) means “no-Rabbits”. (So you can go ahead and make out that Nobel Prize to Nubian, that's N-U-B-I-A-N, Nerd. Thank you very much.)