Logic Forest