"As it was” by Harry Styles is not a song from Kanye West and needs to be written with words.
Either Max listens to classical music or Max listens to rap.  All the songs that Max listens to that are classical music are from the 12th century. If the song Max listens to is rap, then the song is from Kanye West.  If a songs is from Kanye West, then the song is full of lyrics.  All songs that are full of lyrics need to be written with words If “As it was” by Harry Styles is classical music that Max listens to or  from the 12th century, then “As it was” by Harry Styles is either classical music that Max listens to, or the songs are from 12th century.
∀x (MaxListensToClassicalMusic(x) ∨ MaxListensToRap(x)) ∀x (MaxListensToClassicalMusic(x) → SongsFrom12thCentury(x)) ∀x (MaxListensToRap(x) → SongsFromKanyeWest(x)) ∀x (SongsFromKanyeWest(x) → SongsFullOfLyrics(x)) ∀x (SongsFullOfLyrics(x) → NeedToBeWrittenWithWords(x)) MaxListensToClassicalMusic(asItWasByHarryStyles) ∨ SongsFrom12thCentury(asItWasByHarryStyles) → MaxListensToClassicalMusic(asItWasByHarryStyles) ⊕ SongsFrom12thCentury(asItWasByHarryStyles)