work on #19, recognition works but rule application does not work.
Merge branch 'master' of github.com:CurryBoy/Peirce-Logic
#22 Added reverse double cut as option when clicking outer cut