If each picture has the same number of horned mammals in each image, and the right image does not have them standing on four legs.
return images ;return mammals in  #1 ;return #2 that are horned ;return number of  #3 for each  #1 ;return if  #4 are equal ;return the  right image  ;return mammals in  #6 ;return #7 that are horned ;return legs of #8 ;return #9 that #8 are standing on ;return number of  #10 for each  #8 ;return if  #11 is not equal to  four ;return if  both  #5 and #12 are true
['select', 'project', 'filter', 'group', 'boolean', 'select', 'project', 'filter', 'project', 'filter', 'group', 'boolean', 'boolean']