I tried this game for the second time after a five months period, I got all questions right just under the target time but I spent nearly two minutes looking at the conditional rules to find some kind of deep inference which was a huge waste of time. Is it ...