久々に良いテンプレができたな

a<bかつb>cのときに、a<cが成立する