If ” implies ” and ” implies ” are both true, then ” implies ” is true, linking premises in a chain.