Computer-Aided Reasoning exercises