Tableau Theorem Prover

Reasoning over several premises is not a common feature of RTE systems as it usually requires deep semantic analysis. On the other hand, FraCaS is a collec- tion of entailment …...