A baby proved that the doctor hoped that the donut was wired to a teacher .
* doctor ( x _ 5 ) ; * donut ( x _ 9 ) ; baby ( x _ 1 ) AND prove . agent ( x _ 2 , x _ 1 ) AND prove . ccomp ( x _ 2 , x _ 6 ) AND hope . agent ( x _ 6 , x _ 5 ) AND hope . ccomp ( x _ 6 , x _ 11 ) AND wire . theme ( x _ 11 , x _ 9 ) AND wire . recipient ( x _ 11 , x _ 14 ) AND teacher ( x _ 14 )