Cleaned up formatting, put txt syllogisms in one file