In dump3_syllogism_based_super, add column saying whether the syllogism is valid or invalid.
Authored by: ulrikp 2016-12-22
Parent: [r143]
Child: [r145]
