3Convince(H, loves(person-1,person-3)).