Complex sentence: If it is not idle, then it neglects the probe else it checks the responses given "P"k "to"P "j" and "dependent" "k" (i) is false.
Split into simpler sentences: If it is not idle, then it neglects the probe. Otherwise, it checks the responses given "P"k "to"P "j" and "dependent" "k" (i) is false.