The construction and validation of an objective formal reasoning instrument