Rewrite the following sorites in standard form, reducing the number of terms when necessary. Then supply the intermediate conclusions and test with Venn diagrams.

1. No B are C.

Some D are C.

All A are B.

Some D are not A.

2. No C are D.

All A are B.

Some C are not B.

Some D are not A.

3. No S are M.

All F are S.

Some M are H.

All E are F.

Some H are not E.

4. Some T are K.

No K are N.

Some C are Q.

All T are C.

Some Q are not N.

5. All B are C.

No C are D.

All E are A.

All A are B.

Some E are not D.

6. All M are non-P.

Some M are S.

All K are P.

Some non-K are not non-S.

7. All non-U are non-V.

No U are non-W.

All V are Y.

No X are W.

All Y are non-X.

8. All D are non-C.

All non-B are non-A.

Some E are D.

All B are C.

Some non-A are not non-E.

9. All non-L are non-K.

Some K are M.

All P are non-L.

No non-N are M.

No Q are non-P.

Some N are not Q.

10. All R are S.

No non-V are T.

No Q are non-R.

No non-Q are P.

All T are non-S.

All V are non-P.