Question: What company will release the film in which Anthony Gonzalez will be a lead actor in a film that follows a 12-year-old boy named Miguel
{'answer': 'Walt Disney Pictures', 'supporting_facts': [['Anthony Gonzalez (actor)', 1], ['Coco (2017 film)', 0], ['Coco (2017 film)', 2]]}