syllogizator