Preparing to add Test for Disjunctive Syllogism. Also some cleanup.
Preparing to add Test for Disjunctive Syllogism. Also some cleanup.

mbjornas3/AGORA,MichaelHoffmann/AGORA,MichaelHoffmann/AGORA,mbjornas3/AGORA,MichaelHoffmann/AGORA