The donut was lended to a student by the horse .
* donut ( x _ 1 ) ; * horse ( x _ 9 ) ; lend . theme ( x _ 3 , x _ 1 ) AND lend . recipient ( x _ 3 , x _ 6 ) AND lend . agent ( x _ 3 , x _ 9 ) AND student ( x _ 6 )