I just love how the logic in this puzzle is using common sense to create the right premises. I tried writing this puzzle in formal logic, and I gave up because when I finished all the premises I used when I intuitively solved the puzzle, there were 75 premises, so the actual proof would be likely 1000+ lines. Yet this puzzle was a nice 15ish minute solve. It goes to show how good our brains are at logic!