kuno-hs

fix tptp test

Merge pull request #2 from GulinSS/main

add dialogue printing, fix validators being unused

add multiline tests

refactor Weich