I tested out your generated syllogisms. I found the majority of them were correct, with the exception of IAO-3(which is a direct contradiction of another generated syllogism, IAI-3). Additionally, when compared to other sites, I found your list was missing OAO-3 (which, according to my testing, was valid). Nice work on the program, interesting idea for people who are time poor.
Thanx on your comment. However, IAO-3 isSome M are PAll M are S----------------Some S are not PIt is not on the list.=====================OAO-3 (Bocardo) is on the list, number 16.Some M are not PAll M are S----------------Some S are not P
My bad, sorry! I must have miss copied them down incorrectly and I didn't think to re-check.