fixed a bug in clause form and tested on the second test case