Create syllogism5