The system Syllog is a game-like system which makes in possible to study and reflect on basic syllogistic reasoning.
Try to obtain 10 correct answers in a row.
Try it and analyse the arguments using the tools, Venn and Proof.
If a syllogism is invalid you can document the invalidity using the Venn diagram, which can be constructed using the Venn-tool.
If a syllogism is valid you can in fact prove it indirectly using the Proof-tool.