Propositional Conditional Counterexample Row Tool Tutorial

Tutorial coming soon

This tutorial has not been written yet. The tool itself is available from the link below.