A simple exercise for modus tollens.

Very basic, but it cycles through different letters for the logical statements.