The /negationgame sounds like a bicycle for the mind for mapping large latent spaces of theory conjectures. The graph interface looks really interesting and I can think of two immediate theory spaces to try out on