It is more difficult for reasoners to detect that the letter-number pair H7 verifies the conditional rule If there is not a T then there is not a 4 than to detect that it verifies the rule If there is an H then there is a 7. In prior work [Prado, J., & Nov ...
Elsevier2008