William entered the hall. Oliver entered the workshop. Avery entered the hall. The lettuce is in the red treasure chest. William moved the lettuce to the green treasure chest. Avery exited the hall. Avery entered the hall.
William think that Avery searches for the lettuce in the green treasure chest.
 William think that Avery searches for the lettuce in the red_treasure_chest
 William think that Avery searches for the lettuce in the green_treasure_chest