The hat was returned to the cat by the boy .
* hat ( x _ 1 ) ; * cat ( x _ 6 ) ; * boy ( x _ 9 ) ; return . theme ( x _ 3 , x _ 1 ) AND return . recipient ( x _ 3 , x _ 6 ) AND return . agent ( x _ 3 , x _ 9 )