Suppose Beethoven's Symphony No. 9, also known as the "Choral Symphony", includes the famous "Ode to Joy" melody in its final movement.
Can we infer that "Beethoven never composed any symphonies."? Yes, no, or maybe?