[prvc]

Using a tool such as graphviz directly allows for more flexibility. Reasoning is not simply reducible to syllogisms and lists of pros and cons.