Deductive and Inductive Syllogism Folding

Couple days and I have completed an app that creates deductive syllogisms or mathematical proofs from Wikia Articles. One can fold with a list or can fold from the start of the database. Everything is saved to MySQL.