The puppy proved that a cookie was awarded to Emma by Liam .
* puppy ( x _ 1 ) ; prove . agent ( x _ 2 , x _ 1 ) AND prove . ccomp ( x _ 2 , x _ 7 ) AND cookie ( x _ 5 ) AND award . theme ( x _ 7 , x _ 5 ) AND award . recipient ( x _ 7 , Emma ) AND award . agent ( x _ 7 , Liam )