Lucas proved that the coin was sold to Liam .
* coin ( x _ 4 ) ; prove . agent ( x _ 1 , Lucas ) AND prove . ccomp ( x _ 1 , x _ 6 ) AND sell . theme ( x _ 6 , x _ 4 ) AND sell . recipient ( x _ 6 , Liam )