Thanks everyone. I appreciate it. You're hint hones helped out greatly. Thanks for taking the time NickJ to write out a sollution, even though you weren't supposed to. :biggrin:
This is a great site, and I'm looking forward to reading and posting here.
Ok, so I'm doing some logic review on my own. It's been awhile since I've done derivations, so I'm a little rusty. I'm just trying to use SD rules and not SD+. I'd appreciate any help you all can offer. Thanks in advance.
Derive: (G&H)->J
1. E->(F->G) assum.
2. H->(G->I)...