Create syllogism4