Proceedings of the First Workshop on Bridging the Gap between Human and Automated Reasoning Bridging-2015 a