A → B ரிமூவ் செய்யப்பட்டது; பின்னர், AB → C -இல், A எக்ஸ்ட்ரானியஸ் ஆக இருக்கிறதா என்று நாம் சரிபார்க்கிறோம். அது உண்மையில் எக்ஸ்ட்ரானியஸ் என்பதைக் காண்கிறோம்.
కావున A → B అనేది తొలగించబడినది. ఇపుడు మనం A అనేది AB→ C ఎక్స్ట్రానియస్ అవుతుందా కాదా అని తెలుసుకుంటే, A అనేది ఎక్స్ట్రానియస్ ఆట్రిబ్యూట్ అని మనకు తెలుస్తుంది