Create syllogism3