Implika Test Suite
     syllogism       implication       logical and    
     deepest cut expert system       Hilbert calculus    
   
     draw conclusions    

  visit me on GitHub