A Deductive System for Contract Satisfaction Proofs