This genuinely looks so interesting!! But, I couldn't quite figure out how to play it. I was confused how you could arrange the symbols and blocks to prove something, and the only result of double clicking on statements I found was disassembling the statement you have to prove in level 1 which only confused me further.