You are searching for syllogism)