Inception is either a video or a folk song.
No songs are visual.  All folk songs are songs.  All videos are visual.  All movies are videos. All sci-fi movies are movies. Inception is a sci-fi movie. Mac is neither a folk song nor a sci-fi movie.
∀x (Song(x) → ¬Visual(x)) ∀x (FolkSong(x) → Song(x)) ∀x (Video(x) → Visual(x)) ∀x (Movie(x) → Video(x)) ∀x (ScifiMovie(x) → Movie(x)) ScifiMovie(inception) ¬FolkSong(mac) ∧ ¬ScifiMovie(mac)