The fly hoped that the girl proved that a dog knew the duck .
* fly ( x _ 1 ) ; * girl ( x _ 5 ) ; * duck ( x _ 12 ) ; hope . agent ( x _ 2 , x _ 1 ) AND hope . ccomp ( x _ 2 , x _ 6 ) AND prove . agent ( x _ 6 , x _ 5 ) AND prove . ccomp ( x _ 6 , x _ 10 ) AND dog ( x _ 9 ) AND know . agent ( x _ 10 , x _ 9 ) AND know . theme ( x _ 10 , x _ 12 )