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