Here was the proof.
( Here ( ( was ( the proof ) ) . ) )
(ROOT (S (NP (RB Here)) (VP (VBD was) (NP (DT the) (NN proof))) (. .)))
The proof was then brought up and shown.
( ( The proof ) ( ( ( was then ) ( ( ( brought up ) and ) shown ) ) . ) )
(ROOT (S (NP (DT The) (NN proof)) (VP (VBD was) (ADVP (RB then)) (VP (VP (VBN brought) (PRT (RP up))) (CC and) (VP (VBN shown)))) (. .)))