Create syllogism1