Leiden B.P.L. 84 f. 89v, after IntrSC
- Simplicium propositionum
- Nulla parte conuenientium
- Plato philosohus est - Virtus bona est
- Terminorum particione conuenientium
- utroque
- eodem ordine
- Per oppositionem
- Omnis non homo non rationale est
- nullus non homo non rationale est
- Omnis non homo rtionale est
- nullus non homo rationale est
- Omnis homo non rationale est
- nullus homo non rationale est
- Simplices terminos utrosque habentes, vt
- homo animal est
- homo animal non est
- per ordinis commutationem
- Per simplices terminos
- Quidam homo albus est
- quidam albus homo non est
- Per oppositionem
- Quoddam non homo animal est
- quoddam non animal non homo est
- Omnis non homo animal est
- omne animal non homo est
- Omnis homo non animal est
- Omne non animal homo est
- altero
- Homo animal est - animal substantia est
- Homo grammaticus est - homo musicus est
- Homo animal est - equus animal est