Logic Proofs Examples