The "given" part is what is between the word "if" and the word "then"
The "to prove" part is what follows "then".
"Given" part: Paul is older than Bill
Fred is younger than Bill
"To prove" part: Bill's age is between Paul's and Fred's.
Edwin