Definition for syllogism