A categorical syllogism in logic where the first premise is universal negative, the second is universal affirmative, and the conclusion is universal negative.
From medieval Latin logic terminology; the name uses vowels (A-E-E) to encode the type of statements, created as a mnemonic device by medieval logicians.
Medieval philosophers invented silly-sounding names like 'celarent' and 'barbara' to help them memorize the 256 possible forms of logical argument—logic nerds invented the first mnemonic systems!
Complete word intelligence in one call. Free tier — 50 lookups/day.