add syllogism