Logic of Syllogisms