truth Table ((A IMPLIES B ) AND ( B IMPLIES C )) IMPLIES ( A IMPLIES C )