Input: All leaves are not necessarily green
All the leaves are green

Output: second