c program for determining the validity of categorical syllogisms according to aristotle and boole
Next steps after I actually figure out how git works will be to will be to separate the one big main into individual components with headers and create options for how the program operates.