inputs: hypothesis: Indonesia is one of the world's largest tin producers. premise: Indonesia is the world's third largest tin producer after Brazil and Malaysia and had an export quota at the end of last year of 28,376 tonnes a year.