Added a valid text case.
Added invalid test case.
Merge branch 'master' of https://github.com/fristedt/logik
Removed predicate is_premise due to it not being used.