add rules.txt, to_cnf.py, cky.py