Create syllogism2