So, where no Y, no X, then it is ok; there is Y, there is X, that is also ok; no Y, but there is X, that is also ok, but the fourth type where Y is there, but there is no X, then that is ruled out.
எனவே, எந்த Y, X-ம் இல்லை, அது சரி; Y உள்ளது, X உள்ளது, அதுவும் சரி; Y இல்லை, ஆனால் X உள்ளது, அதுவும் சரி, ஆனால் நான்காவது வகை Y இருக்கும், ஆனால் X இல்லை, பின்னர் அது நிராகரிக்கப்படுகிறது.