((JACK) (JILL)) ((HANSEL GRETEL)) ((SIMPLE)) (((NOT HARD))) (((NOT A) B)) ((A B C)) (((NOT ADAM) MALAKAS) ((NOT MALAKAS) ADAM)) (((NOT P) Q R) ((NOT S))) (((NOT P) Q) ((NOT P) R) ((NOT S))) ( (X B (NOT Y)) (X B Z) (X B (NOT A)) (Y (NOT Z) A (NOT X)) (Y (NOT Z) A (NOT B)) )