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