((p→q)∧(q→r))→(p→r)　　 ┐((┐p∨q)∧(┐q∨r))∨(┐p∨r)　　 (┐(┐p∨q)∨┐(┐q∨r))∨(┐p∨r)　　 ((p∧┐q)∨(q∧┐r))∨(┐p∨r)　　 ((p∧┐q)∨┐p)∨((q∧┐r)∨r)　　 ((p∨┐p)∧(...