İsimlerin kardinalite karşılaştırmasından ve kesişen sıfatlardan oluşan bir sillojistik lojiğin algoritmik analizi ve bir bilgisayar uygulaması / Algorithmic analysis and a computer implementation of a syllogistic logic composed of cardinality comparisons of nouns and intersecting adjectives