Lots of fun, very well done. It's rare to find an entertaining intellectual game. Luckily for me, I'm a math major studying discrete data structures (and logical reasoning is a huge part of it), so this wasn't too difficult for me.
Note: for those who struggle on puzzle 10 and don't understand symbolized reasoning, here's a quick and simple crash course. Each letter can be considered it's own separate statement. a '/\' separating 2 letters means "this AND that", where as a '\/' means "this OR that". A --> arrow means "implies", where as a <--> arrow means "is equivalent to". Here's an easy example:
I'll put what each letter could stand for
A (swans are white)
B (swans are big)
A/\B ---> C (If swans are big AND white then it is implied that swans are beautiful)
C (therefore, swans are beautiful)