about to implement tree rules
added conjunction and disjunction tree rules (needs testing)