Change examples in line oriented proofs

* changed examples
* changed unify in line oriented