(1) "Some x are m;
(2) No x are m';
(3) Some y are m';
(4) No y are m".

which we will take in the order 2, 4, 1, 3.

Representing these on a Triliteral Diagram, we get

.---------------.
|(O) | (O)|
| .---|---. |
| |(O)|(I)| |
|---|---|---|---|
| |(O)| | |
| .---|---. |
|(I) | |
.---------------.

And this information, transferred to a Biliteral Diagram, is

.-------.
|(O)|(I)|
|---|---|
|(I)| |
.-------.

Here we get _two_ Conclusions, viz.

"All x are y';
All y are x'."
pg063
And these, translated into concrete form, are

"All diligent students are (not-ignorant, i.e.) learned;
All ignorant students are (not-diligent, i.e.) idle".
(See p. 4.)

(4)

"Of the prisoners who were put on their trial at the last
Assizes, all, against whom the verdict 'guilty' was
returned, were sentenced to imprisonment;
Some, who were sentenced to imprisonment, were also
sentenced to hard labour".

Let Univ. be "the prisoners who were put on their trial at the
last Assizes"; m = who were sentenced to imprisonment;
x = against whom the verdict 'guilty' was returned; y = who were
sentenced to hard labour.

The Premisses, translated into abstract form, are

"All x are m;
Some m are y".

Breaking up the first, we get the three

(1) "Some x are m;
(2) No x are m';
(3) Some m are y".

Representing these, in the order 2, 1, 3, on a Triliteral
Diagram, we get

.---------------.
|(O) | (O)|
| .---|---. |
| | (I) | |
|---|(I)|---|---|
| | | | |
| .---|---. |
| | |
.---------------.

Here we get no Conclusion at all.

You would very likely have guessed, if you had seen _only_ the
Premisses, that the Conclusion would be

"Some, against whom the verdict 'guilty' was returned,
were sentenced to hard labour".

But this Conclusion is not even _true_, with regard to the
Assizes I have h