Toward Fully Automated Fragments of Graph Theory , II .