Hmm... never used the system. What kind of rules are you allowed so far, are you using quantifier logic, and are you allowed to use reductio ad absurdium?

__________________
You don't need a weatherman to know which way the wind blows - Robert A. Zimmerman