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