Premise: Luxo Jr. is a 1986 American computer-animated short film produced by Pixar and directed by John Lasseter .
Hypothesis: Luxo Jr. is a short American film.
Label: ENTAILMENT