Some rules for syllogisms All + All = All All + NO = No All +Some = No Conclusion Some +All = Some Some
+ Some = No Conclusion Some + No =Some not No + No = no conclusion No + All = Some Not reversed No + Some = Some not reversed All => some Some < => some No = No