syllogizor