@Didymos Thomas,
Welcome mzer!
I hope you enjoy the forums, a lot of the threads provide a good brain scratch.
On your logic proof, I'd be happy to help you and your nephew solve them if I can. Just set up a thread in the logic section and we'll hash it out!