There are no explicit rules to help prove by deduction. Instead, to prove a conjuncture through deduction, the truth of the second statement is based on the truth of the first.