Anagram syllogism