How to Prepare Logical Reasoning for CAT