BARBARA (AAA)
Ja visas pieaugušas personas ir izglītoti cilvēki
un visi pasniedzēji ir pieaugušas personas,
tad visi pasniedzēji ir izglītoti cilvēki.
CELARENT (EAE)
Ja neviens autobuss nebrauc uz Valmieru
un visi pasažieri brauc kādā autobusā,
tad neviens pasažieris nebrauc uz Valmieru.
DARII (AII)
Ja visi pieaugušie ir izslimojuši vējbakas
un vismaz viens cilvēks šajā telpā ir pieaugušais,
tad vismaz viens cilvēks šajā telpā ir izslimojis vējbakas.…
