Robuta

Though syllogistic reasoning is the most widespread and most well-known reasoning, its machine implementation is still an open problem. The widespread modus...