- [x] combine parent nodes into desired number of premises - [x] randomly generate logical operators to connect nodes of each premise - [x] negate conclusion - [ ] add to gui - [ ] put in latex form