add plain proof example
Merge branch 'usable-rules' of https://github.com/jwaldmann/co4 into usable-rules