((a implies b) and (b implies c)) is equivalent to (a implies c)